MenuTranslator::translate() should be const

diff --git a/src/frontends/qt4/GuiApplication.cpp b/src/frontends/qt4/GuiApplication.cpp
index bc570edf93ee9a6593d236ce3ac956c509d0963a..acb76b9ab33e5858573e622d30053fb66a3dd793 100644 (file)
--- a/src/frontends/qt4/GuiApplication.cpp
+++ b/src/frontends/qt4/GuiApplication.cpp
@@ -492,7 +492,7 @@ public:
 
        QString translate(const char * /*context*/,
          const char * sourceText,
-         const char * /*comment*/ = 0)
+         const char * /*comment*/ = 0) const
        {
                string const s = sourceText;
                if (s == N_("About %1") || s == N_("Preferences")