SolverLog.ui 2.96 KiB
<?xml version="1.0" encoding="UTF-8"?>
<ui version="4.0">
 <class>MainWindow</class>
 <widget class="QMainWindow" name="MainWindow">
  <property name="geometry">
   <rect>
    <x>0</x>
    <y>0</y>
    <width>1152</width>
    <height>648</height>
   </rect>
  </property>
  <property name="windowTitle">
   <string>MainWindow</string>
  </property>
  <widget class="QWidget" name="centralwidget">
   <layout class="QGridLayout" name="gridLayout">
    <item row="0" column="0">
     <widget class="QTextEdit" name="textEdit">
      <property name="font">
       <font>
        <family>Monospace</family>
        <pointsize>10</pointsize>
       </font>
      </property>
      <property name="locale">
       <locale language="English" country="Europe"/>
      </property>
      <property name="documentTitle">
       <string notr="true"/>
      </property>
      <property name="undoRedoEnabled">
       <bool>false</bool>
      </property>
      <property name="readOnly">
       <bool>true</bool>
      </property>
     </widget>
    </item>
   </layout>
  </widget>
  <widget class="QMenuBar" name="menubar">
   <property name="geometry">
    <rect>
     <x>0</x>
     <y>0</y>
     <width>1152</width>
     <height>22</height>
    </rect>
   </property>
  </widget>
  <widget class="QStatusBar" name="statusbar"/>
  <widget class="QToolBar" name="toolBar">
   <property name="enabled">
    <bool>true</bool>
   </property>
   <property name="windowTitle">
    <string>toolBar</string>
   </property>
   <attribute name="toolBarArea">
    <enum>TopToolBarArea</enum>
   </attribute>
   <attribute name="toolBarBreak">
    <bool>false</bool>
   </attribute>
   <addaction name="action_start"/>
   <addaction name="action_pause"/>
   <addaction name="action_stop"/>
   <addaction name="action_log_file"/>
   <addaction name="action_results"/>
7172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117
</widget> <action name="action_stop"> <property name="icon"> <iconset> <normaloff>ressources/gtk-stop.png</normaloff>ressources/gtk-stop.png</iconset> </property> <property name="text"> <string>Stop</string> </property> </action> <action name="action_start"> <property name="icon"> <iconset> <normaloff>ressources/player_play.png</normaloff>ressources/player_play.png</iconset> </property> <property name="text"> <string>Start</string> </property> </action> <action name="action_pause"> <property name="icon"> <iconset> <normaloff>ressources/player_pause.png</normaloff>ressources/player_pause.png</iconset> </property> <property name="text"> <string>Pause</string> </property> </action> <action name="action_log_file"> <property name="icon"> <iconset> <normaloff>ressources/zoom.png</normaloff>ressources/zoom.png</iconset> </property> <property name="text"> <string>LogFile</string> </property> </action> <action name="action_results"> <property name="text"> <string>results</string> </property> </action> </widget> <resources/> <connections/> </ui>