Exit command for GCLI

exit.js

Components.utils.import("resource:///modules/devtools/gcli.jsm");

gcli.addCommand({
  name: "exit",
  description: "Exits GCLI and closes the Developer Toolbar",
  returnType: "null",
  exec: function Exit(args, context) {
    let window = context.environment.chromeDocument.defaultView;
    let document = window.document;
    let tmp = {};
    Components.utils.import("resource:///modules/devtools/DeveloperToolbar.jsm", tmp);
    let toolbar = new tmp.DeveloperToolbar(window, document.getElementById("developer-toolbar"));
    toolbar.hide();
    tmp = null;
  }
});