Opened 14 years ago
Closed 14 years ago
#316 closed defect (fixed)
UI glitch: point still jumps about when follow-mode=never move
Reported by: | David Aspinall | Owned by: | David Aspinall |
---|---|---|---|
Priority: | minor | Milestone: | PG-Emacs-4.1 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
Test case: set Follow Mode to Never Move. Assert buffer. Point jumps to bottom while prover is fired up, etc.
The reason is that the main functions such as assert-until-point
work around the current value of point, so it must be moved temporarily. But because messages are output, etc, the display is updated and the temporary movement of point is revealed.
Change History (2)
comment:1 Changed 14 years ago by
Status: | new → accepted |
---|
comment:2 Changed 14 years ago by
Resolution: | → fixed |
---|---|
Status: | accepted → closed |
Can't reproduce this now, should be fixed with other cleanups.
Note: See
TracTickets for help on using
tickets.
Point movement does not happen if prover is already running (and even if scripting is not active in buffer). It coincides perhaps with message about saving files?