Update GuiDocument when there are changes to loaded modules.

[features.git] / src / frontends / qt4 / GuiDocument.h

diff --git a/src/frontends/qt4/GuiDocument.h b/src/frontends/qt4/GuiDocument.h
index 2f3dfc4396fad8d81073c3e982fa3e9f54e13785..6ba761fd74d853345ecc492d665f543e9f5e452b 100644 (file)
--- a/src/frontends/qt4/GuiDocument.h
+++ b/src/frontends/qt4/GuiDocument.h
@@ -95,6 +95,7 @@ private Q_SLOTS:
        void browseMaster();
        void classChanged();
        void updateModuleInfo();
+       void modulesChanged();
 
 private:
        /// validate listings parameters and return an error message, if any