Skip to content
Snippets Groups Projects
Commit eaea867e authored by con's avatar con
Browse files

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.
parent d768008d
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
Showing
with 408 additions and 45 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment