EditorGadget: Reload Editor if current url being edited changes

gadget/gadget_cribjs_page_editor.js

@@ -24,6 +24,13 @@
       return gadget.crib_sw_put(url, {content: content, type: mimetype});
     })
     .push(function () {
+      if (url !== gadget.props.options.url) {
+        return gadget.redirect({
+          page: "editor",
+          url: url,
+          message: "Saved " + url + " files at " + Date()
+        });
+      }
       gadget.props.element.querySelector(".crib-editor-save-status")
         .textContent = "Saved " + url + " files at " + Date();
     });
@@ -83,6 +90,10 @@
       if (options === undefined)
         options = {};
       gadget.props.options = options;
+      if (gadget.props.options.message !== undefined) {
+        gadget.props.element.querySelector(".crib-editor-save-status")
+                .textContent = gadget.props.options.message;
+      }
       return new RSVP.Queue()
         .push(function () {
           if (gadget.props.options.crib_enable_url !== undefined) {