diff options
-rw-r--r-- | config.org | 13 |
1 files changed, 3 insertions, 10 deletions
diff --git a/config.org b/config.org index b467882..6ea2062 100644 --- a/config.org +++ b/config.org | |||
@@ -471,17 +471,10 @@ Until the =marginalia-annotators= settles, I’m disabling this section. | |||
471 | :host github | 471 | :host github |
472 | :repo "minad/marginalia" | 472 | :repo "minad/marginalia" |
473 | :branch "main") | 473 | :branch "main") |
474 | :custom | ||
475 | (marginalia-annotators | ||
476 | '((command . marginalia-annotate-command-full) | ||
477 | (customize-group . marginalia-annotate-customize-group) | ||
478 | (variable . marginalia-annotate-variable) | ||
479 | (face . marginalia-annotate-face) | ||
480 | (symbol . marginalia-annotate-symbol) | ||
481 | (variable . marginalia-annotate-variable) | ||
482 | (package . marginalia-annotate-package))) | ||
483 | :init | 474 | :init |
484 | (marginalia-mode +1)) | 475 | (marginalia-mode +1) |
476 | (cuss marginalia-annotators '(marginalia-annotators-heavy | ||
477 | marginalia-annotators-light))) | ||
485 | #+end_src | 478 | #+end_src |
486 | 479 | ||
487 | ** Ignore case | 480 | ** Ignore case |