Skip to content

Instantly share code, notes, and snippets.

@gerald-kim

gerald-kim/*scratch*.el

Created November 14, 2017 09:25
Show Gist options
  • Save gerald-kim/904f986eb88a34349dffa6a7f78e7f01 to your computer and use it in GitHub Desktop.
Save gerald-kim/904f986eb88a34349dffa6a7f78e7f01 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
*scratch*.el
(defadvice intero-repl-load (after intero-repl-after activate)
(interactive "P")
(if (eq evil-state 'insert)
(evil-force-normal-state))
(switch-to-buffer-other-window (intero-repl-buffer prompt-options t)))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment