search

ikuraj / alloy4eclipse

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

runa and check commands not seen as "launch command" in 0.3.0 release #98

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
in 0.2.X release of the plugin, executing a command was similar to use "run as" 
in JDT. As such, it was possible to rerun the last command by hitting ctrl-F11.

It is no longer the case with 0.3.0 release.

We should fix that if possible for 0.3.0 final.

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

GoogleCodeExporter commented 8 years ago 
That issue is fixed in 0.3.1

Original comment by daniel.l...@gmail.com on 6 Jun 2012 at 6:29