12 Commits

Author	SHA1	Message	Date
hjk	8397663964	Update license.	2011-04-13 11:49:28 +02:00
con	98575e6865	Actually delete custom tools that were deleted.	2011-02-22 15:41:20 +01:00
con	53985dbf58	License update.	2011-02-21 14:58:21 +01:00
con	3b707461da	Add a configure item to the external tools menu.	2011-02-21 14:58:20 +01:00
con	c422786b02	Save category changes for custom tools in their xml.	2011-02-18 17:15:41 +01:00
con	9a52e1dd63	Some sanity fixes.	2011-02-18 17:15:40 +01:00
con	8cda869a15	Make adding user tools possible. ... Adding new categories is not there yet though, neither is moving tools through the categories.	2011-02-18 17:15:40 +01:00
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