aboutsummaryrefslogtreecommitdiff
path: root/pl
diff options
context:
space:
mode:
Diffstat (limited to 'pl')
-rw-r--r--pl/cfg.pl7
1 files changed, 7 insertions, 0 deletions
diff --git a/pl/cfg.pl b/pl/cfg.pl
index 7cbff11..54b5544 100644
--- a/pl/cfg.pl
+++ b/pl/cfg.pl
@@ -60,3 +60,10 @@ get_sort(V) :-
V is W - 2147483647
; V = 1
).
+
+set_focus(V) :- set_key('Focus', V).
+get_focus(V) :-
+ ( get_key('Focus', V),
+ integer(V), !
+ ; V = 1
+ ).