More style tweaks.

Author: ian-r-rose

src/browser.ts

@@ -225,8 +225,9 @@ class GitHubEditableName extends Widget {
     super();
     this.addClass('jp-GitHubEditableName');
     this._nameNode = document.createElement('div');
+    this._nameNode.className = 'jp-GitHubEditableName-display';
     this._editNode = document.createElement('input');
-    this._editNode.className = 'jp-GitHubEditableNameInput';
+    this._editNode.className = 'jp-GitHubEditableName-input';
 
     this._placeholder = placeholder || '<Edit Name>'
 
@@ -241,7 +242,9 @@ class GitHubEditableName extends Widget {
       this._pending = true;
       Private.changeField(this._nameNode, this._editNode).then(value => {
         this._pending = false;
-        this.name.set(value);
+        if (this.name.get() !== value) {
+          this.name.set(value);
+        }
       });
     };
 

style/index.css

@@ -25,10 +25,20 @@
   white-space: nowrap;
   text-align: center;
   font-size: large;
+  padding: 0px;
   flex: 8 8;
 }
 
-.jp-GitHubBrowser .jp-GitHubEditableNameInput {
+.jp-GitHubBrowser .jp-GitHubEditableName-display {
+  border: 1px solid transparent;
+}
+
+.jp-GitHubBrowser .jp-GitHubEditableName-display:hover {
+  border: 1px solid var(--jp-border-color1);
+  box-shadow: 0px 0px 2px 0px rgba(0,0,0,0.24);
+}
+
+.jp-GitHubBrowser .jp-GitHubEditableName-input {
   background-color: var(--jp-layout-color2);
   color: var(--jp-ui-font-color1);
   font-size: large;