}
}
],
+ 'cmd_shutdown' : [
+ ['oncommand'],
+ function() {
+ var windowManager = Components.classes["@mozilla.org/appshell/window-mediator;1"].getService();
+ var windowManagerInterface = windowManager.QueryInterface(Components.interfaces.nsIWindowMediator);
+ var enumerator = windowManagerInterface.getEnumerator(null);
+
+ var w; // close all other windows
+ while ( w = enumerator.getNext() ) {
+ if (w != window) w.close();
+
+ }
+ window.close();
+ }
+ ],
};
JSAN.use('util.controller');
<command id="cmd_new_tab" key="new-tab-key" />
<command id="cmd_close_tab" key="close-tab-key" />
<command id="cmd_close_all_tabs" key="close-all-tabs-key" />
+ <command id="cmd_shutdown" />
<command id="cmd_edit_copy_buckets" />
<command id="cmd_edit_record_buckets" />