From 77d19b74cc8a532c3e9b5371467c3800b4066c96 Mon Sep 17 00:00:00 2001 From: Michael Norrish Date: Mon, 6 Jan 2020 17:07:12 +1100 Subject: [PATCH] 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. --- tools/hol-mode.src | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/hol-mode.src b/tools/hol-mode.src index bfc0f9db0d..c6ef8064f1 100644 --- 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)