Make hol-horizontal give HOL window more width

Specifying window-width 80 seems to end up giving it only 77 columns, at least in my emacs.
HOL-Theorem-Prover · Jan 6, 2020 · 77d19b7 · 77d19b7
1 parent 13c778a
commit 77d19b7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/hol-mode.src b/tools/hol-mode.src
@@ -876,7 +876,7 @@ region instead. With prefix ARG prompt for a file-name to load."
            (let ((split-height-threshold nil)
                  (split-width-threshold 0))
              (display-buffer-pop-up-window b al))))
-       '((window-width . 80) (reusable-frames . nil))))
+       '((window-width . 83) (reusable-frames . nil))))
 
 (defvar hol-new-buffer-style hol-new-buffer-style-default)