diff options
Diffstat (limited to 'ravi-init-repl.el')
| -rw-r--r-- | ravi-init-repl.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ravi-init-repl.el b/ravi-init-repl.el index fbca1ed..c83dad3 100644 --- a/ravi-init-repl.el +++ b/ravi-init-repl.el @@ -60,7 +60,7 @@ (unbind-key "C-c C-z" repl-toggle-mode-map) (bind-key "<f5>" 'rtog/toggle-repl repl-toggle-mode-map) ) - :diminish t + :diminish repl-toggle-mode :ensure t) (provide 'ravi-init-repl) |