~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108

Committer: Morten Jacobsen
Date: 2011-02-22 18:21:46 UTC
mto: <a title="Merged In 329.1.148" href="/~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108/revision/329.1.148">(329.1.148 tapaal-1.5) <a title="Merged In 369.1.1" href="/~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108/revision/369.1.1">(369.1.1 trunk-fix2)
mto: This revision was merged to the branch mainline in <a href="/~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108/revision/370">revision 370 .
Revision ID: morten.jacobsen.2k@gmail.com-20110222182146-of3g7mek3i0erb30

- Did some refactorings in the model.
- Added double click shortcut to shared places/transitions list.

added added

removed removed

public interface TimedPlaceListener {

void nameChanged(TimedPlaceEvent e);

void markingChanged(TimedPlaceEvent e);

}