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 David Aspinall

Status: newaccepted

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?

comment:2 Changed 14 years ago by David Aspinall

Resolution: fixed
Status: acceptedclosed

Can't reproduce this now, should be fixed with other cleanups.

Note: See TracTickets for help on using tickets.