How do I disable the scrolling in buffer, when typing something to complete?

[cpitclaudel]

How do I disable the scrolling in buffer, when typing something to complete?

[cpitclaudel]

Ah, thanks, I understand now. The trick is that in #8 I saved the position of the goals buffer, but not the response buffer. Let me have a look.

[cpitclaudel]

Should be fixed on the massive-cleanup branch. Do you feel comfortable trying that branch out? Your help with testing this (and the refactoring that I've been working on) would be very welcome!

[lczch]

Yes, I'm very glad to ~

2015-12-22 23:40 GMT+08:00 Clément Pit--Claudel [email protected]:

Should be fixed on the massive-cleanup branch. Do you feel comfortable
trying that branch out? Your help with testing this (and the refactoring
that I've been working on) would be very welcome!

—
Reply to this email directly or view it on GitHub
#32 (comment)
.

[lczch]

But I'm curious that may this intelligent scrolling in buffer become a
feature that can be turned on/off?

2015-12-23 8:54 GMT+08:00 Zhaohui Li [email protected]:

Yes, I'm very glad to ~

2015-12-22 23:40 GMT+08:00 Clément Pit--Claudel [email protected]
:

Should be fixed on the massive-cleanup branch. Do you feel comfortable
trying that branch out? Your help with testing this (and the refactoring
that I've been working on) would be very welcome!

—
Reply to this email directly or view it on GitHub
#32 (comment)
.

[cpitclaudel]

Do you see any case where preventing the buffer from randomly scrolling wouldn't be the desired behaviour? If so, we can make it an option.

[lczch]

I have test the feature.
This time, the point will always return to what I am focusing in
responds,
but the window keep flashing while I am typing.
The flash seems caused by point continue moving between (point-min) and my
focus point.
Is this fit what the fix should be?

2015-12-23 15:23 GMT+08:00 Clément Pit--Claudel [email protected]:

Do you see any case where preventing the buffer from randomly scrolling
wouldn't be the desired behaviour? If so, we can make it an option.

—
Reply to this email directly or view it on GitHub
#32 (comment)
.

[cpitclaudel]

Yes, unfortunately. There's no better way to prevent the flickering from company-coq (I'll add a patch to Proof General soon, and then things should be better).

[lczch]

It's sounds very cool to fix Proof General directly ~
Good hacking ~

[cpitclaudel]

This should be fixed in the https://github.com/ProofGeneral/PG/tree/fix-scrolling-buffers branch of PG. Maybe you could try it?

[lczch]

Sorry for delay respons...
I tried your fixed branch of PG, it's wonderful~

2016-01-01 0:55 GMT+08:00 Clément Pit--Claudel [email protected]:

This should be fixed in the
https://github.com/ProofGeneral/PG/tree/fix-scrolling-buffers branch of
PG. Maybe you could try it?

—
Reply to this email directly or view it on GitHub
#32 (comment)
.

[cpitclaudel]

Great! I merged the branch, too, so the fix should be available to everyone :)

[cpitclaudel]

Thanks for your help!