Fix #3765: larger window dividers in writeroom-mode

To make them easier to see.
This commit is contained in:
Henrik Lissner 2020-08-21 22:16:39 -04:00
parent d393d3e0cd
commit 0998e28959
No known key found for this signature in database
GPG key ID: 5F6C0EA160557395

View file

@ -6,6 +6,12 @@
(defvar +zen-text-scale 2 (defvar +zen-text-scale 2
"The text-scaling level for `writeroom-mode'.") "The text-scaling level for `writeroom-mode'.")
(defvar +zen-window-divider-size 4
"Pixel size of window dividers when `writeroom-mode' is active.")
(defvar +zen--old-window-divider-size window-divider-default-bottom-width)
;; ;;
;;; Packages ;;; Packages
@ -14,14 +20,25 @@
;; Users should be able to activate writeroom-mode in one buffer (e.g. an org ;; Users should be able to activate writeroom-mode in one buffer (e.g. an org
;; buffer) and code in another. Fullscreening/maximizing will be opt-in. ;; buffer) and code in another. Fullscreening/maximizing will be opt-in.
(setq writeroom-maximize-window nil) (setq writeroom-maximize-window nil)
(remove-hook 'writeroom-global-effects 'writeroom-set-fullscreen) (remove-hook 'writeroom-global-effects #'writeroom-set-fullscreen)
(add-hook! 'writeroom-mode-hook (add-hook! 'writeroom-mode-hook
(defun +zen-enable-text-scaling-mode-h () (defun +zen-enable-text-scaling-mode-h ()
"Enable `mixed-pitch-mode' when in `+zen-mixed-pitch-modes'." "Enable `mixed-pitch-mode' when in `+zen-mixed-pitch-modes'."
(when (/= +zen-text-scale 0) (when (/= +zen-text-scale 0)
(text-scale-set (if writeroom-mode +zen-text-scale 0)) (text-scale-set (if writeroom-mode +zen-text-scale 0))
(visual-fill-column-adjust)))) (visual-fill-column-adjust)))
(defun +zen-toggle-large-window-dividers-h ()
"Make window dividers larger and easier to see."
(when (bound-and-true-p window-divider-mode)
(if writeroom-mode-hook
(setq +zen--old-window-divider-size (cons window-divider-default-bottom-width
window-divider-default-right-width)
window-divider-default-bottom-width +zen-window-divider-size
window-divider-default-right-width +zen-window-divider-size)
(setq window-divider-default-bottom-width (car +zen--old-window-divider-size)
window-divider-default-right-width (cdr +zen--old-window-divider-size)))
(window-divider-mode +1))))
;; Adjust margins when text size is changed ;; Adjust margins when text size is changed
(advice-add #'text-scale-adjust :after #'visual-fill-column-adjust)) (advice-add #'text-scale-adjust :after #'visual-fill-column-adjust))