From e61f0c3365505957c26509e5dc506fc7b3024c86 Mon Sep 17 00:00:00 2001 From: "Alex A. Naanou" Date: Sat, 8 Jun 2013 16:02:47 +0400 Subject: [PATCH] more tweaking... Signed-off-by: Alex A. Naanou --- ui/Makefile | 2 +- ui/keybindings.js | 10 +++++----- 2 files changed, 6 insertions(+), 6 deletions(-) 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('~') },