Changes between Initial Version and Version 1 of Ticket #127


Ignore:
Timestamp:
Jul 10, 2007, 9:25:59 AM (17 years ago)
Author:
David Aspinall
Comment:

I've started work on this, at the same time simplifying the handling of actions to eliminate the common problems of "action is already running" and "someone else owns the prover". At the moment things are very broken!

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #127

    • Property Priority changed from critical to blocker
    • Property Summary changed from Fix Action Bar active editor switching to Fix Action Bar active editor switching; simplify actions

  • Ticket #127 – Description

    initial v1  
     1PG often loses track of the active editor.  Instead of self managing this in our own way we should use the standard Eclipse mechanism for retargeted actions.  It's slightly more complicated, but allows us to attach an action set to the script editor only and our own views.