diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2021-06-11 18:18:06 -0700 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2021-06-11 18:18:06 -0700 |
| commit | aefa926c4a01b1b80953b6d3d9ac99652315f208 (patch) | |
| tree | 06b34b0483d6789e9aca3fc961371081272a6332 | |
| parent | 84f74bd4faa0afde8d818807f0a12bbcebf6e3a8 (diff) | |
*Internal struggle about variable-pitch-mode*
| -rw-r--r-- | smart-documents.org | 2 |
1 files changed, 1 insertions, 1 deletions
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 |