## 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: May 09 2021 at 19:11 UTC