Code duplication is bad.

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

diff --git a/src/frontends/qt4/GuiDocument.h b/src/frontends/qt4/GuiDocument.h
index 1e9a1f38edd351a0fa66fa0de7857b5d3306b710..1fcb6a5448cb54fae326461b782edff731316950 100644 (file)
--- a/src/frontends/qt4/GuiDocument.h
+++ b/src/frontends/qt4/GuiDocument.h
@@ -165,6 +165,8 @@ private:
        ///
        void dispatchParams();
        ///
+       void modulesToParams(BufferParams &);
+       ///
        bool isBufferDependent() const { return true; }
        /// always true since we don't manipulate document contents
        bool canApply() const { return true; }