search

snu-sf-class / pl2015spring

SNU 4190.310, 2015 Spring
11 stars 6 forks source link

Sudden screen scrolling, CoqIde windows #65

Closed AdamBJ closed 9 years ago

AdamBJ commented 9 years ago

I've been experiencing some issues while using CoqIde in Windows where when I click on a line on code to edit it or select it, the screen jumps randomly to another part of the file. Has anyone else experienced this problem? If so, has anyone else figured out a fix for it?

Thanks

alkaza commented 9 years ago

It jumps back to where u were, before u started scrolling, The only way is to 'click' on a place where you want to start selecting from and then after it jumps, u push space or ctrl+shift+->, doesn't matter, and it will go to the place you were looking at. Hope this helps.

On Tue, Apr 14, 2015 at 6:18 PM, AdamBJ notifications@github.com wrote:

I've been experiencing some issues while using CoqIde in Windows where when I click on a line on code to edit it or select it, the screen jumps randomly to another part of the file. Has anyone else experienced this problem? If so, has anyone else figured out a fix for it?

Thanks

— Reply to this email directly or view it on GitHub https://github.com/snu-sf/pl2015/issues/65.

AdamBJ commented 9 years ago

I'll give it a try, thanks!

jeehoonkang commented 9 years ago

Any progress on this issue?

AdamBJ commented 9 years ago

@alkaza 's suggestion worked for me.