diff options
Diffstat (limited to 'srcs/juloo.keyboard2/Config.java')
| -rw-r--r-- | srcs/juloo.keyboard2/Config.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/srcs/juloo.keyboard2/Config.java b/srcs/juloo.keyboard2/Config.java index 2831254..98bb72b 100644 --- a/srcs/juloo.keyboard2/Config.java +++ b/srcs/juloo.keyboard2/Config.java @@ -74,6 +74,7 @@ public final class Config public int circle_sensitivity; public boolean clipboard_history_enabled; public int clipboard_history_duration; + public boolean space_bar_auto_complete; // Dynamically set /** Configuration options implied by the connected editor. */ @@ -191,6 +192,7 @@ public final class Config circle_sensitivity = Integer.valueOf(_prefs.getString("circle_sensitivity", "2")); clipboard_history_enabled = _prefs.getBoolean("clipboard_history_enabled", false); clipboard_history_duration = Integer.parseInt(_prefs.getString("clipboard_history_duration", "5")); + space_bar_auto_complete = _prefs.getBoolean("space_bar_auto_complete", false); float screen_width_dp = dm.widthPixels / dm.density; wide_screen = screen_width_dp >= WIDE_DEVICE_THRESHOLD; |