Fix small UI glitch

diff --git a/src/frontends/qt4/GuiInfo.cpp b/src/frontends/qt4/GuiInfo.cpp
index 78aaf898874d77bb8fe63657ac9cdaeefb00c10c..7f0d4cc1efe996998f438135780f6d59292d2427 100644 (file)
--- a/src/frontends/qt4/GuiInfo.cpp
+++ b/src/frontends/qt4/GuiInfo.cpp
@@ -297,13 +297,16 @@ bool GuiInfo::initialiseParams(std::string const & sdata)
        if (!lang)
                return false;
        params_.lang = lang;
-       updateArguments();
+       updateArguments(typeCO->currentIndex());
        return true;
 }
 
 
 void GuiInfo::updateArguments(int i)
 {
+       if (i == -1)
+               i = 0;
+
        infoLW->clear();
        BufferView const * bv = guiApp->currentView()->currentBufferView();
        vector<pair<string,docstring>> args = params_.getArguments(const_cast<Buffer *>(&bv->buffer()),

diff --git a/src/frontends/qt4/GuiInfo.h b/src/frontends/qt4/GuiInfo.h
index ff8096871c38034b71aa266fa1c78d5bc47b167a..03973c11ad68e83ef0217908953ce6eed17dee87 100644 (file)
--- a/src/frontends/qt4/GuiInfo.h
+++ b/src/frontends/qt4/GuiInfo.h
@@ -27,7 +27,7 @@ class GuiInfo : public InsetParamsWidget, public Ui::InfoUi
        Q_OBJECT
 
 protected Q_SLOTS:
-       void updateArguments(int i = 1);
+       void updateArguments(int i);
 
 public:
        GuiInfo(QWidget * parent = 0);