search

ikuraj / alloy4eclipse

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

Allow dynamic code completion #38

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
For the moment, code completion is static: it only provides completion for
A4 keywords.

It would be much useful to have it dynamic, by propsoing for instance also
all signatures in the code completion.

Original issue reported on code.google.com by rdrue...@gmail.com on 9 Jan 2008 at 8:57

GoogleCodeExporter commented 8 years ago 
The solution was a bit harder than I was expecting.

The number of proposals might now become quite big because most identifiers are 
proposed.

Let see how the users feel with that new feature. We will restrict the number of
proposals if needed.

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

GoogleCodeExporter commented 8 years ago 
On my side, the issue is fixed.

Original comment by daniel.l...@gmail.com on 13 Jan 2008 at 7:26