+ public synchronized void setDelay(int delay) {
+ if (isLoaded()) {
+ if (getDelay() == delay) {
+ return;
+ }
+
+ unloadModule();
+ }
+
+ loadModule(delay);
+ }
+
+ public synchronized int getSavedDelay() {
+ SharedPreferences settings = ctx.getSharedPreferences(PREFS_NAME, Context.MODE_PRIVATE);
+
+ return settings.getInt("debounce_delay", 10);
+ }
+
+ 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();
+ }
+