diff --git a/ui/Makefile b/ui/Makefile index 5edd9022..9e5e5a3e 100755 --- a/ui/Makefile +++ b/ui/Makefile @@ -37,7 +37,7 @@ LOGS := *.log BUILD_DIR=build -all: css +all: dev css: $(CSS_FILES) diff --git a/ui/keybindings.js b/ui/keybindings.js index 41f1314b..395d4754 100755 --- a/ui/keybindings.js +++ b/ui/keybindings.js @@ -564,11 +564,6 @@ var KEYBOARD_CONFIG = { // not have to do anything here... F11: doc('Toggle full screen mode', function(){ toggleFullscreenMode() }), - // XXX DEBUG MODE... - F12: doc('Show devTools', function(){ showDevTools() }), - F5: doc('Reload app', function(){ reload() }), - - // Help and info... '?': doc('Show keyboard bindings', function(){ toggleKeyboardHelp() }), @@ -577,6 +572,11 @@ var KEYBOARD_CONFIG = { function(){ toggleHelp() }), + // XXX DEBUG MODE... + // ...remove these in production... + F12: doc('Show devTools', function(){ showDevTools() }), + F5: doc('Reload app', function(){ reload() }), + /* testing the shift-key feature... '~': { default: function(){ alert('~') },