search

google-code-export / alloy4eclipse

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

Add a run overlay on run and check commands #97

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Run and check nodes in the outline view have the property to allow the user to 
run a command.

As such, their icon in the outline view should clearly identify that difference 
with the other elements.

I suggest to use a reduced version of the Eclipse RUN icon (green play button) 
on the bottom right of the run and check icons for that purpose.

Original issue reported on code.google.com by daniel.l...@gmail.com on 19 May 2011 at 7:27

GoogleCodeExporter commented 9 years ago 
Added in r976 by Yoann. Thanks.

Original comment by daniel.l...@gmail.com on 19 May 2011 at 7:59