search

google-code-export / alloy4eclipse

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

Alloy 4 Xtext has two preference page: we need to merge them #93

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
When going to the preference page, we can see two prefer pages:
- One called Alloy Preferences, coming from the original plugin
- One called Als generated by Xtext

Those two preference page need to be merged under the name Alloy
(skipping the preferences and making clear that Als means Alloy).

Original issue reported on code.google.com by daniel.l...@gmail.com on 18 Apr 2011 at 8:00

GoogleCodeExporter commented 9 years ago 
The issue is almost fixed. It would be nice to have the content of the 
preference page named "Alloy4 settings" moved to the Alloy preference page 
containing the words "General settings".

Original comment by daniel.l...@gmail.com on 18 May 2011 at 7:53

GoogleCodeExporter commented 9 years ago 
Reminder: it would be nice to fix that issue for 0.3.0 final.

Original comment by daniel.l...@gmail.com on 1 Jun 2011 at 12:08

GoogleCodeExporter commented 9 years ago 
Fixed in revision r1027

Original comment by kapusta....@gmail.com on 2 Jun 2011 at 2:40

GoogleCodeExporter commented 9 years ago 
Indeed. Thanks.

Original comment by daniel.l...@gmail.com on 2 Jun 2011 at 4:15