AddApplication: Redirect to edit of index.html instead of the app

gadget/gadget_cribjs_page_add_application.js

@@ -100,7 +100,7 @@
         return putNewAppList(gadget, app_list);
       })
       .push(function () {
-        document.location = window.location.origin + window.location.pathname + redirect_to;
+        return gadget.redirect({page: "editor", url: redirect_to});
       });
   }
 
@@ -165,6 +165,7 @@
     //////////////////////////////////////////////
     // acquired methods
     //////////////////////////////////////////////
+    .declareAcquiredMethod("redirect", "redirect")
     .declareAcquiredMethod("crib_sw_get", "crib_sw_get")
     .allowPublicAcquisition("crib_sw_get", function (argument_list) {
       return this.crib_sw_get(argument_list[0]);