().setUseSoftTabs(!0), s.getSession().setTabSize(2), s.setHighlightActiveLine(!0), s.setShowPrintMargin(!1), s.commands.addCommand({
      name: "save",
      bindKey: {
         win: "Ctrl-S",
         mac: "Command-S"
      },
      exec: function (e) {
         e.save()
      },
      readOnly: !1
   }), s.commands.addCommand({
      name: "showKeyboardShortcuts",
      bindKey: {
         win: "Ctrl-Alt-h",
         mac: "Command-Alt-h"
      },
      exec: function (e) {
         e.showShortcuts()
    