From aefa926c4a01b1b80953b6d3d9ac99652315f208 Mon Sep 17 00:00:00 2001 From: Marius Peter Date: Fri, 11 Jun 2021 18:18:06 -0700 Subject: *Internal struggle about variable-pitch-mode* --- smart-documents.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/smart-documents.org b/smart-documents.org index feec8f8..d6c4a77 100644 --- a/smart-documents.org +++ b/smart-documents.org @@ -1743,7 +1743,7 @@ Emacs. We use ~variable-pitch-mode~ for appropriate modes. -#+BEGIN_SRC emacs-lisp :tangle yes +#+BEGIN_SRC emacs-lisp :tangle no (add-hook 'org-mode-hook 'variable-pitch-mode) (add-hook 'info-mode-hook 'variable-pitch-mode) #+END_SRC -- cgit v1.2.3