From 2d822be37dc5900385e3fd6ca4383e11d98bba49 Mon Sep 17 00:00:00 2001
From: "Alex A. Naanou" <alex.nanou@gmail.com>
Date: Tue, 15 Sep 2015 03:03:13 +0300
Subject: [PATCH] minor tweaking...

Signed-off-by: Alex A. Naanou <alex.nanou@gmail.com>
---
 ui (gen4)/ui.js | 33 ++++++++++++++++++++++++---------
 1 file changed, 24 insertions(+), 9 deletions(-)

diff --git a/ui (gen4)/ui.js b/ui (gen4)/ui.js
index 7fdec5d8..490fa05e 100755
--- a/ui (gen4)/ui.js	
+++ b/ui (gen4)/ui.js	
@@ -62,7 +62,10 @@ var overlay = require('lib/widget/overlay')
 /*********************************************************************/
 
 // XXX move this to config...
-module.MAX_KEY_REPEAT_RATE = 100
+// NOTE: setting this here (and only here) to -1 or null will desable 
+// 		key dropping...
+// NOTE: keeping this disabled is recommended for development...
+module.MAX_KEY_REPEAT_RATE = 0 //100
 
 // XXX add this to the global doc...
 module.GLOBAL_KEYBOARD = {
@@ -278,19 +281,31 @@ $(function(){
 
 
 	// setup base keyboard for devel, in case something breaks...
-	$(document)
-		.keydown(
-			keyboard.dropRepeatingkeys(
+	if(module.MAX_KEY_REPEAT_RATE < 0 || module.MAX_KEY_REPEAT_RATE == null){
+		$(document)
+			.keydown(
 				keyboard.makeKeyboardHandler(
 					module.GLOBAL_KEYBOARD,
 					function(k){
 						window.DEBUG && console.log(k)
 					}, 
-					a), 
-				function(){ 
-					// XXX get this from config...
-					return module.MAX_KEY_REPEAT_RATE
-				}))
+					a))
+
+	} else {
+		$(document)
+			.keydown(
+				keyboard.dropRepeatingkeys(
+					keyboard.makeKeyboardHandler(
+						module.GLOBAL_KEYBOARD,
+						function(k){
+							window.DEBUG && console.log(k)
+						},
+						a), 
+					function(){ 
+						// XXX get this from config...
+						return module.MAX_KEY_REPEAT_RATE
+					}))
+	}
 })