Add new actions to visualization menu

ikuraj / alloy4eclipse

Automatically exported from code.google.com/p/alloy4eclipse

0 stars 0 forks source link

Add new actions to visualization menu #19

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago

The plugin misses the toolbar from the visualization panel in the original
Alloy 4 GUI.

It is for instance impossible to go through the models of the specification.

Since a menu is now available for the theme selection, it should be easy to
add the other actions there.

Original issue reported on code.google.com by daniel.l...@gmail.com on 30 Aug 2007 at 8:18

GoogleCodeExporter commented 8 years ago

There are now 5 actions available. Icons are needed for better usability.

Original comment by daniel.l...@gmail.com on 18 Oct 2007 at 2:30

Changed state: Started

GoogleCodeExporter commented 8 years ago

That issie has been solved:
- menu and toolbar new have icons
- it is located on the graph view
- we got model projection and iteration for free from A4.

Original comment by daniel.l...@gmail.com on 5 Nov 2007 at 9:39

Changed state: Fixed