Stream: Proof General users

Topic: Emacs wp sets current line to top


view this post on Zulip Rudy Peterson (Oct 09 2023 at 09:50):

Hello,

Whether I am in proof mode or not, whenever I type wp followed by anything, emacs sets the current line I'm typing in to be set to the top of the window.

For instance, typing wp_ will shift the current line to the top.

I'm using a mac pro Monterey, coq 8.17, GNU Emacs 29.1.

Has anyone else encountered something like this and is there a way to stop emacs from automatically doing this?

Thanks

view this post on Zulip Pierre Courtieu (Oct 11 2023 at 07:46):

Rudy Peterson said:

Hello,

Whether I am in proof mode or not, whenever I type wp followed by anything, emacs sets the current line I'm typing in to be set to the top of the window.

For instance, typing wp_ will shift the current line to the top.

I'm using a mac pro Monterey, coq 8.17, GNU Emacs 29.1.

Has anyone else encountered something like this and is there a way to stop emacs from automatically doing this?

Thanks

Hi. Never heard about it. AFAICT it looks like a problem with your configuration.

view this post on Zulip Pierre Courtieu (Oct 11 2023 at 07:56):


Last updated: Oct 13 2024 at 01:02 UTC