+ public synchronized void setDelay(int debounce_delay) {
+ if (!isLoaded()) {
+ return;
+ }
+
+ try {
+ FileWriter delay = new FileWriter("/sys/devices/debounce/debounce_delay");
+ BufferedWriter delay_buf = new BufferedWriter(delay);
+
+ delay_buf.write((new Integer(debounce_delay)).toString());
+
+ delay_buf.close();
+ } catch (Exception e) {}
+ }
+
+ public synchronized int getSavedDelay() {
+ SharedPreferences settings = ctx.getSharedPreferences(PREFS_NAME, Context.MODE_PRIVATE);
+
+ return settings.getInt("debounce_delay", 8);
+ }
+
+ public synchronized void setSavedDelay(int delay) {
+ SharedPreferences settings = ctx.getSharedPreferences(PREFS_NAME, Context.MODE_PRIVATE);
+ SharedPreferences.Editor editor = settings.edit();
+
+ editor.putInt("debounce_delay", delay);
+ editor.commit();
+ }
+