1 files changed, 7 insertions, 0 deletions
diff --git a/pl/cfg.pl b/pl/cfg.pl
index 54b5544..297d426 100644
--- a/pl/cfg.pl
+++ b/pl/cfg.pl
@@ -67,3 +67,10 @@ get_focus(V) :-
 	    integer(V), !
 	;   V = 1
 	).
+
+set_dlv_height(V) :- set_key('DlvHeight', V).
+get_dlv_height(V) :-
+	(   get_key('DlvHeight', V),
+	    integer(V), !
+	;   V = 0
+	).