Closed antonydellavecchia closed 10 months ago
Adds the julia-repl-pop-to-buffer variable and functionality to prevent raising buffer when not desired
Thanks!
Adds the julia-repl-pop-to-buffer variable and functionality to prevent raising buffer when not desired