Opened 10 years ago
Closed 9 years ago
#485 closed defect (fixed)
"Time commands" option offsets the cursor when errors are reported
Reported by: | coquser | Owned by: | David Aspinall |
---|---|---|---|
Priority: | minor | Milestone: | PG-Emacs-4.3 |
Component: | 2:pg-emacs | Keywords: | coq-time-commands time commands cursor |
Cc: |
Description
When activating the "Time Commands" option, every time an error is displayed, the cursor is off 5 characters to the right.
Happens in the latest development build as well as in the last stable.
To reproduce, open a buffer and type:
Inductive t := T : x -> y -> t.
Try to run it when "Time Commands" is on. The error is reported on the t
character instead of the y
character.
Note: See
TracTickets for help on using
tickets.
Here's a patch
-- cpitcla