Diffusion Kile 16abb6843573

Reset the tool configurations before Kile can be used

Authored by mludwig on Aug 19 2017, 4:11 PM.

Description

Reset the tool configurations before Kile can be used

Also rework some previous code for configuration settings updating.

Details

Committed
mludwigAug 19 2017, 4:11 PM
Parents
R468:9e87a31c412a: Fix references to the document viewer in the system check dialog
Branches
Unknown
Tags
Unknown