search

ikuraj / alloy4eclipse

Automatically exported from code.google.com/p/alloy4eclipse
0 stars 0 forks source link

A4E Property View #50

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
The A4 VizGUI has a zoom function that scales both the instance graph as
well as the fixed legend in the top left corner.
WIth large instance graphs, it is convenient to zoom out the view which
makes the legend very difficult if not impossible to see.

Suggestion: create an A4E property viewer that shows the same information
as the legend in the current A4 VizGUI view.

Original issue reported on code.google.com by daniel.l...@gmail.com on 26 Mar 2008 at 12:13

GoogleCodeExporter commented 8 years ago 
See also: http://code.google.com/p/alloy4eclipse/issues/detail?id=51

Original comment by nicolas....@gmail.com on 26 Mar 2008 at 3:35

GoogleCodeExporter commented 8 years ago 
We need support from A4 for this.

Original comment by lionel.d...@gmail.com on 23 Apr 2008 at 8:20