diff --git a/src/GUI/Launcher.ui b/src/GUI/Launcher.ui index 4cd666bd9..07d5a0ea8 100644 --- a/src/GUI/Launcher.ui +++ b/src/GUI/Launcher.ui @@ -666,9 +666,6 @@ </property> <item> <widget class="QPlainTextEdit" name="commandLineArgs"> - <property name="placeholderText"> - <string>--option=value --prop:/sim/name=value</string> - </property> </widget> </item> </layout> diff --git a/src/GUI/QtLauncher.cxx b/src/GUI/QtLauncher.cxx index 6964eb9a4..7bc30c8e2 100644 --- a/src/GUI/QtLauncher.cxx +++ b/src/GUI/QtLauncher.cxx @@ -671,6 +671,10 @@ QtLauncher::QtLauncher() : m_ui.reset(new Ui::Launcher); m_ui->setupUi(this); +#if QT_VERSION >= 0x050300 + // don't require Qt 5.3 + m_ui->commandLineArgs->setPlaceholderText("--option=value --prop:/sim/name=value"); +#endif for (int i=0; i<4; ++i) { m_ratingFilters[i] = 3; }