Stream: Proof General users

Topic: Emacs wp sets current line to top

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

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.

• Does it only happen in coq buffers once it appears?
• What kind of keyboard do you use
• What is the output of (describe-key (kbd "_"))? When in a coq file and when in another kind of file?

Pierre Courtieu (Oct 11 2023 at 07:56):

• Sorry to ask but how do you type the underscore?

Last updated: Oct 13 2024 at 01:02 UTC