Changes between Version 4 and Version 6 of Ticket #158


Ignore:
Timestamp:
Sep 8, 2008, 12:12:31 PM (16 years ago)
Author:
Graham Dutton
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #158

    • Property Priority changed from major to minor
    • Property Type changed from defect to enhancement

  • Ticket #158 – Description

    v4 v6  
    1 the GotoAction will move the cursor to near the end of the previous command.
    2 that's annoying, if i'm using the GotoAction then presumably i'm happy with where the cursor is
     1the `GotoAction` will move the cursor to near the end of the previous command.
     2that's annoying, if i'm using the `GotoAction` then presumably i'm happy with where the cursor is
    33(typically i'm writing a line of a proof, and i want PG to prove everything up to it.)
    44
    … …  
    88there are also some obvious off-by-one errors when setting cursor position, it ends up before the last processed char, rather than after it.
    99
    10 and there are some curious races in setting the cursor position -- sometimes it gets moved and sometimes it doesnt.
     10and there are some curious races in setting the cursor position -- sometimes it gets moved and sometimes it doesn't.
     11
     12'''CURRENT STATUS''': Working correctly if marker-based offset processing is enabled in PG Preferences.