ikuraj / alloy4eclipse

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

Allow browsing A4 sample models #32

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago
A4 ships with sample A4 models.

They are useful to help modeling a new system.

A4E does not have for the moment any way to open those sample models.

They are not even uncompressed for the A4 jar file.

I guess that it is possible in Eclipse to open a file within a jar file
(such feature is used in JDT to access the source code that ships with a
library).

I am not sure however that the file browser can search files within an archive.

This need to be investigated.

Felix chang added a keyboard accelerator for that in A4 (Ctrl-B).

Ctrl-B is "build all" within Eclipse.

So the same accelerator cannot be used.

--Daniel

Original issue reported on code.google.com by daniel.l...@gmail.com on 1 Dec 2007 at 9:44

GoogleCodeExporter commented 8 years ago
The feature has been partly implemented.

The keyboard accelerator (CTRL+ATL+O) is missing.

Feedback on the current code is needed.

Original comment by daniel.l...@gmail.com on 5 Dec 2007 at 8:53

GoogleCodeExporter commented 8 years ago
Need to fix the keyboard accelerator and to display the action only inside A4E 
project.

Original comment by lionel.d...@gmail.com on 24 Jan 2008 at 9:08

GoogleCodeExporter commented 8 years ago

Original comment by daniel.l...@gmail.com on 24 Jan 2008 at 9:24

GoogleCodeExporter commented 8 years ago
That feature works but there is no keyboard accelerator. Deferred to M3. 

Original comment by rdrue...@gmail.com on 13 Mar 2008 at 9:41

GoogleCodeExporter commented 8 years ago
It works without keyboard accelerator. Closing the issue. 

Original comment by rdrue...@gmail.com on 3 Apr 2008 at 8:32

GoogleCodeExporter commented 8 years ago

Original comment by rdrue...@gmail.com on 3 Apr 2008 at 8:34