"Refresh list of tools" should be "Refresh cached results" and open a dialog #27
Description
The dialog should look like this:
- Load all workbenches (warning: can crash/make FreeCAD unstable, please save your work before and restart FreeCAD once done)
- Merge with known cached results (useful when not loading all workbenches)
Refresh:
- Tools
- Documents and Objects
- Preferences and Parameters
The idea is not that the user will often want to refresh only some parts of the cache, the idea is to make explicit what will be done (all workbenches will be loaded + cached results will be overwritten + these categories will be updated), without rudely imposing any of these. It's more of a peaceful communication feature than a configuration knob.