Add an indicator for failed save.

Addresses #785.

Author: jgosmann

nengo_gui/components/ace_editor.py

@@ -86,6 +86,8 @@ def message(self, msg):
             try:
                 with open(self.page.filename, 'w') as f:
                     f.write(self.current_code)
+                self.pending_messages.append(json.dumps({
+                    'save_success': True}))
             except IOError:
                 print("Could not save %s; permission denied" %
                       self.page.filename)

nengo_gui/static/ace.js

@@ -171,6 +171,7 @@ Nengo.Ace.prototype.save_file = function () {
         var editor_code = this.editor.getValue();
         this.ws.send(JSON.stringify({code:editor_code, save:true}));
         this.disable_save();
+        $('#Save_file').addClass('in-progress');
     }
 }
 
@@ -184,7 +185,11 @@ Nengo.Ace.prototype.disable_save = function () {
 
 Nengo.Ace.prototype.on_message = function (event) {
     var msg = JSON.parse(event.data)
-    if (msg.code !== undefined) {
+    if (msg.save_success !== undefined) {
+       if (msg.save_success) {
+            $('#Save_file').removeClass('in-progress');
+       }
+    } else if (msg.code !== undefined) {
         this.editor.setValue(msg.code);
         this.current_code = msg.code;
         this.editor.gotoLine(1);

nengo_gui/static/top_toolbar.css

@@ -69,6 +69,11 @@
     background: #eee;
 }
 
+#top_toolbar_div li.in-progress a.glyphicon {
+    color: #ccc;
+    background: #c22;
+}
+
 #global_config_menu {
     background: purple;
     height: 20em;