3 Commits

Author	SHA1	Message	Date
con	4334309ea4	Add more editing of tools. Doesn't save yet.	2011-02-18 17:15:39 +01:00
con	eaea867e53	Implement renaming of tools and categories. ... Not possible to reset them yet. Saves the change in the settings instead of writing new tools xml files. This probably needs to be adapted for tools that are "local" from the beginning.	2011-02-18 17:15:39 +01:00
con	d768008d60	Add a tools settings page and show the tools there. ... No editing possible yet.	2011-02-18 17:15:38 +01:00