5 Commits

Author	SHA1	Message	Date
con	8cb7e30a15	Implement reverting of changed preset tools.	2011-02-18 17:15:40 +01:00
con	b21ca68c3c	Save modified external tools in user resource location.	2011-02-18 17:15:39 +01:00
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