added pinListener debounce time as parameter

trying to make the system more responsive

eventually.ino

@@ -192,16 +192,17 @@ void EvtResetButtonContext () {
   mgr.resetContext();
   //delay (50);
   // button listeners
-  mgr.addListener(new EvtPinListener(BUTTON_PIN[0], (EvtAction)button0));
-  mgr.addListener(new EvtPinListener(BUTTON_PIN[1], (EvtAction)button1));
-  mgr.addListener(new EvtPinListener(BUTTON_PIN[2], (EvtAction)button2));
-  mgr.addListener(new EvtPinListener(BUTTON_PIN[3], (EvtAction)button3));
-  mgr.addListener(new EvtPinListener(BUTTON_PIN[4], (EvtAction)button4));
-  mgr.addListener(new EvtPinListener(BUTTON_PIN[5], (EvtAction)button5));
-  mgr.addListener(new EvtPinListener(BUTTON_PIN[6], (EvtAction)button6));
-  mgr.addListener(new EvtPinListener(BUTTON_PIN[7], (EvtAction)button7));
-  mgr.addListener(new EvtPinListener(BUTTON_PIN[8], (EvtAction)button8));
-  mgr.addListener(new EvtPinListener(BUTTON_PIN[9], (EvtAction)button9));
+  int debounce = 10 ;
+  mgr.addListener(new EvtPinListener(BUTTON_PIN[0], debounce, (EvtAction)button0));
+  mgr.addListener(new EvtPinListener(BUTTON_PIN[1], debounce, (EvtAction)button1));
+  mgr.addListener(new EvtPinListener(BUTTON_PIN[2], debounce, (EvtAction)button2));
+  mgr.addListener(new EvtPinListener(BUTTON_PIN[3], debounce, (EvtAction)button3));
+  mgr.addListener(new EvtPinListener(BUTTON_PIN[4], debounce, (EvtAction)button4));
+  mgr.addListener(new EvtPinListener(BUTTON_PIN[5], debounce, (EvtAction)button5));
+  mgr.addListener(new EvtPinListener(BUTTON_PIN[6], debounce, (EvtAction)button6));
+  mgr.addListener(new EvtPinListener(BUTTON_PIN[7], debounce, (EvtAction)button7));
+  mgr.addListener(new EvtPinListener(BUTTON_PIN[8], debounce, (EvtAction)button8));
+  mgr.addListener(new EvtPinListener(BUTTON_PIN[9], debounce, (EvtAction)button9));
 
   // controlled time listeners
 //  pSD = new EvtTimeListener(5, true, (EvtAction)readSDFile);