api.unmap(':'); api.mapkey('', '#7Open commands', function() { api.Front.openOmnibar({type: "Commands"}); }); api.map('', 'h'); api.map('', 'j'); api.map('', 'k'); api.map('', 'l'); api.map('l', 'S'); api.map('r', 'D'); api.map('c0', 'yy'); api.map('', 'E'); api.map('', 'R'); api.unmap('h'); api.unmap('j'); api.unmap('k'); api.unmap('l'); api.unmap('S'); api.unmap('D'); api.unmap('yy'); api.unmap('E'); api.unmap('R'); api.map('', 'P'); api.map('', 'U'); api.map('>', 'G'); api.map('', 'gg'); api.unmap('P'); api.unmap('U'); api.unmap('G'); api.unmap('gg'); api.cmap('', ''); api.imap('', ''); api.Hints.setCharacters('arstdhneio'); api.hintAlign = "left"; settings.aceKeybindings = 'emacs'; settings.defaultSearchEngine = 'd'; settings.omnibarPosition = "bottom"; // Local Variables: // js2-additional-externs: ("api" "settings") // End: