ikuraj / alloy4eclipse

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

CTRL F11 not working is commands are launched from the outline view #33

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago
What steps will reproduce the problem?

Good case :

1. select an als file in project view.
2. choose Run as ... Alloy Specification
3. hit CTRL F11
4. the command is repeated.

Bad case :

1. Open the als file in an editor
2. launch the command directly in the outline view
3. hit CTRL F11
4. Eclipse asks for the type of command to execute

We should have the same consistent behavior there.
I suspect that we are loosing the type of the Launch when launching the
command from the outline view.
The extension of the file in the project view provides the right type to
the launch.

Original issue reported on code.google.com by daniel.l...@gmail.com on 4 Dec 2007 at 8:57

GoogleCodeExporter commented 8 years ago
Actually, the problem occurs only is the command is launched by double click.

It works fine if launched using the launch command.

Still investigating the issue.

Original comment by daniel.l...@gmail.com on 5 Dec 2007 at 9:00

GoogleCodeExporter commented 8 years ago
Fixed on SVN (554)

Original comment by daniel.l...@gmail.com on 5 Dec 2007 at 9:10