diff options
Diffstat (limited to 'pl')
-rw-r--r-- | pl/cfg.pl | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -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 + ). |