diff --git a/src/interface/interface_graphic.cpp b/src/interface/interface_graphic.cpp index 8755118982c6fd625763d2b5cad3ca2fe66bcd84..be444fa954a1f0274ecf92b2c768edc66bee7d1c 100644 --- a/src/interface/interface_graphic.cpp +++ b/src/interface/interface_graphic.cpp @@ -291,10 +291,14 @@ void Interface_graphic::on_fullscreen_triggered(){ } void Interface_graphic::on_toolbar_menu_triggered(){ - if (_ui_toolbar_check->isChecked()) + if (_ui_toolbar_check->isChecked()){ + _ui_toolbar_check->setText("Hide toolbar"); _ui_toolbar->show(); - else + } + else{ + _ui_toolbar_check->setText("Show toolbar"); _ui_toolbar->hide(); + } } void Interface_graphic::on_show_info_triggered(){ diff --git a/src/interface/main_window.ui b/src/interface/main_window.ui index 98048b60a9fdc080e6fe3a80cedfad9ab68db62b..46f4f5cd315010339a9e22ccd2aac5fb61f2fb58 100644 --- a/src/interface/main_window.ui +++ b/src/interface/main_window.ui @@ -26,6 +26,14 @@ <normaloff>:/icon/icon/vite.png</normaloff>:/icon/icon/vite.png</iconset> </property> <widget class="QWidget" name="centralwidget" > + <property name="geometry" > + <rect> + <x>0</x> + <y>64</y> + <width>1170</width> + <height>619</height> + </rect> + </property> <layout class="QVBoxLayout" name="verticalLayout_2" > <item> <layout class="QVBoxLayout" name="render_area_layout" /> @@ -189,6 +197,14 @@ <addaction name="menuHelp" /> </widget> <widget class="QToolBar" name="toolBar" > + <property name="geometry" > + <rect> + <x>0</x> + <y>26</y> + <width>1170</width> + <height>38</height> + </rect> + </property> <property name="windowTitle" > <string>toolBar</string> </property> diff --git a/src/parser/ParserPaje.cpp b/src/parser/ParserPaje.cpp index 9da23c3154607ff0430b7e2630b542cbd5bcdf4c..50f100780c2dad8a8448f76caece842a60075266 100644 --- a/src/parser/ParserPaje.cpp +++ b/src/parser/ParserPaje.cpp @@ -36,6 +36,10 @@ void ParserPaje::parse(string filename, Trace &trace){ // We check if we have an event identifier if(Error::set_and_print_if (sscanf(event_identity_string.c_str(), "%d", &event_identity) != 1, Error::_EXPECT_ID_DEF, line.get_line_count(), Error::_ERROR)){ + + // We flush the errors + Error::flush_in_file("log.txt"); + // The line can not be recognised by the parser Paje, we can not continue. throw Error::_UNKNOWN_LINE; //return ;