Zulip Chat Archive
Stream: general
Topic: emacs buffers
Alexandre Rademaker (Oct 23 2019 at 13:13):
how to have the Lean Goal buffer side-by-side with the main file buffer instead of below it?
Jesse Michael Han (Oct 23 2019 at 13:40):
you can split the frame vertically and then switch one of the windows to the goal state
Alexandre Rademaker (Oct 23 2019 at 17:27):
I would like to set up that as the default behaviour anyway... but yes, thank you.
Alexandre Rademaker (Oct 23 2019 at 17:27):
Maybe we could have a stream for emacs mode questions?
Jesse Michael Han (Oct 23 2019 at 17:36):
I would like to set up that as the default behaviour anyway... but yes, thank you.
a quick fix could be overriding C-c C-g to perform a recorded keyboard macro instead
Reid Barton (Oct 23 2019 at 17:46):
It will also happen automatically if your window is wider than 160 characters or so
Last updated: Dec 20 2023 at 11:08 UTC