Recompiled hotkey JS

This commit is contained in:
Luke Towers 2018-12-20 13:41:32 -06:00
parent 44ac62abeb
commit ed226e0b09
2 changed files with 2 additions and 2 deletions

View File

@ -4595,7 +4595,7 @@ this.$searchboxDisable.on('click.codeeditor','>a',$.proxy(this.toggleSearchbox,t
this.$replaceboxDisable.hide()
this.$replaceboxEnable.on('click.codeeditor','>a',$.proxy(this.toggleReplacebox,this))
this.$replaceboxDisable.on('click.codeeditor','>a',$.proxy(this.toggleReplacebox,this))
this.$el.hotKey({hotkey:'esc',hotkeyMac:'esc',callback:this.proxy(this.onEscape)})
this.$el.hotKey({hotkey:'esc',callback:this.proxy(this.onEscape)})
editor.commands.addCommand({name:'toggleFullscreen',bindKey:{win:'Ctrl+Shift+F',mac:'Ctrl+Shift+F'},exec:$.proxy(this.toggleFullscreen,this),readOnly:true})}
CodeEditor.prototype.dispose=function(){if(this.$el===null)
return

View File

@ -4156,7 +4156,7 @@ case'ctrl':condition.ctrl=true
break
case'command':case'cmd':case'meta':condition.cmd=true
break
case'alt':condition.alt=true
case'alt':case'option':condition.alt=true
break}}
condition.specific=this.keyMap[keys[keys.length-1]]
if(typeof(condition.specific)=='undefined')