43e2eb4c4d
We need to move to a unified keyboard shortcut format with Ace, it will solve a lot of these problems. |
||
---|---|---|
.. | ||
ace | ||
aceBindings.js | ||
command.js | ||
dialog.js | ||
dom2.js | ||
editor.js | ||
file.js | ||
fileManager.js | ||
keys.js | ||
main.js | ||
menus.js | ||
palette.js | ||
sessions.js | ||
settings.js | ||
statusbar.js |