[eclipse] Specify, via tooltips, on which projects the toolbar buttons for
magma run etc.. are referred
-------------------------------------------------------------------------------------------------------
Key: LABS-416
URL: https://issues.apache.org/jira/browse/LABS-416
Project: Labs
Issue Type: Improvement
Components: Magma
Affects Versions: Current
Reporter: Simone Gianni
Fix For: Current
Since they activate also on project files, it is somehow unclear if they are
going to magma:run a domain project.
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
