Diffusion Kile 477092928912

Ensure that the user menu actions are (re-)added after the GUI has been rebuilt

Authored by mludwig on Jan 29 2017, 7:16 PM.

Description

Ensure that the user menu actions are (re-)added after the GUI has been rebuilt

Initial patch by Fritz Meier.

Details

Committed
mludwigJan 29 2017, 7:16 PM
Parents
R468:2df62e86ac4b: Fix enabling/disabling of checkboxes in the user menu dialog
Branches
Unknown
Tags
Unknown