Closed rudi closed 1 year ago
Hi, I keep forgetting the key bindings for interacting with julia-snail; this pull request adds a Julia-Snail menu bar with most commands defined in julia-snail-mode-map.
Julia-Snail
julia-snail-mode-map
I took the liberty of renaming the menu titles so they take a little less space in the menu bar. But this is great. Thank you!
Great, thanks for merging!
Hi, I keep forgetting the key bindings for interacting with julia-snail; this pull request adds a
Julia-Snail
menu bar with most commands defined injulia-snail-mode-map
.