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
I’ve fixed this for now in r23442 by making the Spoofax Testing page a child of Spoofax Preferences.
Alright, and I renamed “Spoofax Preferences” to “Spoofax”. Closing the issue.
Log in to post comments