Zulip Chat Archive

Stream: general

Topic: emacs buffers


view this post on Zulip 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?

view this post on Zulip 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

view this post on Zulip Alexandre Rademaker (Oct 23 2019 at 17:27):

I would like to set up that as the default behaviour anyway... but yes, thank you.

view this post on Zulip Alexandre Rademaker (Oct 23 2019 at 17:27):

Maybe we could have a stream for emacs mode questions?

view this post on Zulip 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

view this post on Zulip 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: May 09 2021 at 19:11 UTC