TAPAAL

Code review comment for lp:~tapaal-contributor/tapaal/cpn-variable-color-tool-window

  1. cpn-variable-color-tool-window
  2. Merge into cpn-gui-dev
Revision history for this message
Jiri Srba (srba) wrote :

The ctrl-0 abbreviation clashes with "show token age" in case of timed CPNs. Perhaps change it to ctrl-F (but double check if it is free).

review: Needs Fixing

« Back to merge proposal