Preferences should be in a single hierarchy
It seems there are two preference pages right now: “Spoofax Preferences” and “Spoofax Testing.” To be consistent with other tools, there should really only be a single page called “Spoofax,” possibly with subpages for other preferences.
Submitted by Lennart Kats on 11 October 2011 at 10:12
Issue Log
On 11 October 2011 at 14:27 Vlad Vergu closed this issue.
On 11 October 2011 at 14:27 Vlad Vergu reopened this issue.
On 11 October 2011 at 14:28 Vlad Vergu commented:
I’ve fixed this for now in r23442 by making the Spoofax Testing page a child of Spoofax Preferences.
On 11 October 2011 at 15:15 Lennart Kats commented:
Alright, and I renamed “Spoofax Preferences” to “Spoofax”. Closing the issue.
On 11 October 2011 at 15:15 Lennart Kats closed this issue.
On 11 October 2011 at 15:15 Lennart Kats tagged 1.0
On 22 December 2011 at 16:54 Lennart Kats tagged @vvergu
Log in to post comments