-
Dominik Haumann authored
With this patch, each tool that is shipped by default, an additional button "Defaults" is shown. Clicking this button, the tool is reverted to the factory settings (cf. defaultexternaltoolsrc in Qt resource).
9b151a96
With this patch, each tool that is shipped by default, an additional button "Defaults" is shown. Clicking this button, the tool is reverted to the factory settings (cf. defaultexternaltoolsrc in Qt resource).