<commit_before><?xml version="1.0" encoding="UTF-8"?>
<ui version="4.0">
 <class>ContinualPlanningMonitorWindow</class>
 <widget class="QMainWindow" name="ContinualPlanningMonitorWindow">
  <property name="geometry">
   <rect>
    <x>0</x>
    <y>0</y>
    <width>1183</width>
    <height>807</height>
   </rect>
  </property>
  <property name="windowTitle">
   <string>Continual Planning Monitor</string>
  </property>
  <property name="styleSheet">
   <string notr="true">QGroupBox {
     border: 2px solid black;
     border-radius: 0px;
     margin-top: 1ex; /* leave space at the top for the title */
	 font-weight: bold;
}

QGroupBox::title {
     subcontrol-origin: margin;
     subcontrol-position: top center; /* position at the top center */
     padding: 0 3px;
}

QGroupBox[status=&quot;inactive&quot;] {
    border-width: 5px;
	border-color: gray;
}

QGroupBox[status=&quot;active&quot;] {
    border-width: 5px;
	border-color: blue;
}

QGroupBox[status=&quot;failed&quot;] {
    border-width: 5px;
	border-color: red;
}

QGroupBox#monitoringGrp[status=&quot;failed&quot;] {
    border-width: 5px;
	border-color: orange;
}
QGroupBox#monitoringGrp {
	border-bottom: 0px;
}

QGroupBox[status=&quot;succeeded&quot;] {
    border-width: 5px;
	border-color: green;
}</string>
  </property>
  <widget class="QWidget" name="centralwidget">
   <layout class="QVBoxLayout" name="verticalLayout_5">
    <item>
     <widget class="QSplitter" name="splitter_2">
      <property name="orientation">
       <enum>Qt::Horizontal</enum>
      </property>
      <widget class="QSplitter" name="splitter">
       <property name="orientation">
        <enum>Qt::Vertical</enum>
       </property>
       <widget class="QGroupBox" name="stateEstimationGrp">
        <property name="title">
         <string>State Estimation</string>
        </property>
        <layout class="QVBoxLayout" name="verticalLayout_3">
         <item>
          <widget class="QLabel" name="label_4">
           <property name="text">
            <string>Current State:</string>
           </property>
          </widget>
         </item>
         <item>
          <widget class="QTextEdit" name="stateTxt">
           <property name="documentTitle">
            <string/>
           </property>
           <property name="readOnly">
            <bool>true</bool>
           </property>
           <property name="html">
            <string>&lt;!DOCTYPE HTML PUBLIC &quot;-//W3C//DTD HTML 4.0//EN&quot; &quot;http://www.w3.org/TR/REC-html40/strict.dtd&quot;&gt;
&lt;html&gt;&lt;head&gt;&lt;meta name=&quot;qrichtext&quot; content=&quot;1&quot; /&gt;&lt;style type=&quot;text/css&quot;&gt;
p, li { white-space: pre-wrap; }
&lt;/style&gt;&lt;/head&gt;&lt;body style=&quot; font-family:'Ubuntu'; font-size:11pt; font-weight:400; font-style:normal;&quot;&gt;
&lt;p style=&quot;-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;&lt;/p&gt;&lt;/body&gt;&lt;/html&gt;</string>
           </property>
           <property name="acceptRichText">
            <bool>false</bool>
           </property>
          </widget>
         </item>
        </layout>
       </widget>
       <widget class="QFrame" name="frame">
        <property name="frameShape">
         <enum>QFrame::NoFrame</enum>
        </property>
        <property name="frameShadow">
         <enum>QFrame::Raised</enum>
        </property>
        <layout class="QVBoxLayout" name="verticalLayout_4">
         <item>
          <widget class="QGroupBox" name="monitoringGrp">
           <property name="styleSheet">
            <string notr="true"/>
           </property>
           <property name="title">
            <string>Monitoring</string>
           </property>
           <property name="flat">
            <bool>false</bool>
           </property>
           <property name="checkable">
            <bool>false</bool>
           </property>
          </widget>
         </item>
         <item>
          <widget class="QGroupBox" name="planningGrp">
           <property name="title">
            <string>Planning</string>
           </property>
           <layout class="QVBoxLayout" name="verticalLayout_2">
            <item>
             <widget class="QLabel" name="label">
              <property name="text">
               <string>Last Plan:</string>
              </property>
             </widget>
            </item>
            <item>
             <widget class="QTextEdit" name="lastPlanTxt">
              <property name="readOnly">
               <bool>true</bool>
              </property>
             </widget>
            </item>
           </layout>
          </widget>
         </item>
        </layout>
       </widget>
      </widget>
      <widget class="QFrame" name="frame_2">
       <property name="frameShape">
        <enum>QFrame::NoFrame</enum>
       </property>
       <property name="frameShadow">
        <enum>QFrame::Raised</enum>
       </property>
       <layout class="QVBoxLayout" name="verticalLayout_6">
        <item><commit_msg>continual_planning_monitor removed margins<commit_after><?xml version="1.0" encoding="UTF-8"?>
<ui version="4.0">
 <class>ContinualPlanningMonitorWindow</class>
 <widget class="QMainWindow" name="ContinualPlanningMonitorWindow">
  <property name="geometry">
   <rect>
    <x>0</x>
    <y>0</y>
    <width>1183</width>
    <height>807</height>
   </rect>
  </property>
  <property name="windowTitle">
   <string>Continual Planning Monitor</string>
  </property>
  <property name="styleSheet">
   <string notr="true">QGroupBox {
     border: 2px solid black;
     border-radius: 0px;
     margin-top: 1ex; /* leave space at the top for the title */
	 font-weight: bold;
}

QGroupBox::title {
     subcontrol-origin: margin;
     subcontrol-position: top center; /* position at the top center */
     padding: 0 3px;
}

QGroupBox[status=&quot;inactive&quot;] {
    border-width: 5px;
	border-color: gray;
}

QGroupBox[status=&quot;active&quot;] {
    border-width: 5px;
	border-color: blue;
}

QGroupBox[status=&quot;failed&quot;] {
    border-width: 5px;
	border-color: red;
}

QGroupBox#monitoringGrp[status=&quot;failed&quot;] {
    border-width: 5px;
	border-color: orange;
}
QGroupBox#monitoringGrp {
	border-bottom: 0px;
}

QGroupBox[status=&quot;succeeded&quot;] {
    border-width: 5px;
	border-color: green;
}</string>
  </property>
  <widget class="QWidget" name="centralwidget">
   <layout class="QVBoxLayout" name="verticalLayout_5">
    <item>
     <widget class="QSplitter" name="splitter_2">
      <property name="orientation">
       <enum>Qt::Horizontal</enum>
      </property>
      <widget class="QSplitter" name="splitter">
       <property name="orientation">
        <enum>Qt::Vertical</enum>
       </property>
       <widget class="QGroupBox" name="stateEstimationGrp">
        <property name="title">
         <string>State Estimation</string>
        </property>
        <layout class="QVBoxLayout" name="verticalLayout_3">
         <item>
          <widget class="QLabel" name="label_4">
           <property name="text">
            <string>Current State:</string>
           </property>
          </widget>
         </item>
         <item>
          <widget class="QTextEdit" name="stateTxt">
           <property name="documentTitle">
            <string/>
           </property>
           <property name="readOnly">
            <bool>true</bool>
           </property>
           <property name="html">
            <string>&lt;!DOCTYPE HTML PUBLIC &quot;-//W3C//DTD HTML 4.0//EN&quot; &quot;http://www.w3.org/TR/REC-html40/strict.dtd&quot;&gt;
&lt;html&gt;&lt;head&gt;&lt;meta name=&quot;qrichtext&quot; content=&quot;1&quot; /&gt;&lt;style type=&quot;text/css&quot;&gt;
p, li { white-space: pre-wrap; }
&lt;/style&gt;&lt;/head&gt;&lt;body style=&quot; font-family:'Ubuntu'; font-size:11pt; font-weight:400; font-style:normal;&quot;&gt;
&lt;p style=&quot;-qt-paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; margin-right:0px; -qt-block-indent:0; text-indent:0px;&quot;&gt;&lt;/p&gt;&lt;/body&gt;&lt;/html&gt;</string>
           </property>
           <property name="acceptRichText">
            <bool>false</bool>
           </property>
          </widget>
         </item>
        </layout>
       </widget>
       <widget class="QFrame" name="frame">
        <property name="frameShape">
         <enum>QFrame::NoFrame</enum>
        </property>
        <property name="frameShadow">
         <enum>QFrame::Raised</enum>
        </property>
        <property name="lineWidth">
         <number>0</number>
        </property>
        <layout class="QVBoxLayout" name="verticalLayout_4">
         <property name="margin">
          <number>0</number>
         </property>
         <item>
          <widget class="QGroupBox" name="monitoringGrp">
           <property name="styleSheet">
            <string notr="true"/>
           </property>
           <property name="title">
            <string>Monitoring</string>
           </property>
           <property name="flat">
            <bool>false</bool>
           </property>
           <property name="checkable">
            <bool>false</bool>
           </property>
          </widget>
         </item>
         <item>
          <widget class="QGroupBox" name="planningGrp">
           <property name="title">
            <string>Planning</string>
           </property>
           <layout class="QVBoxLayout" name="verticalLayout_2">
            <item>
             <widget class="QLabel" name="label">
              <property name="text">
               <string>Last Plan:</string>
              </property>
             </widget>
            </item>
            <item>
             <widget class="QTextEdit" name="lastPlanTxt">
              <property name="readOnly">
               <bool>true</bool>
              </property>
             </widget>
            </item>
           </layout>
          </widget>
         </item>
        </layout>
       </widget>
      </widget>
      <widget class="QFrame" name="frame_2">
       <property name="frameShape">
        <enum>QFrame::NoFrame</enum>
       </property>
       <property name="frameShadow">
        <enum>QFrame::Raised</enum>
       </property>
       <layout class="QVBoxLayout" name="verticalLayout_6">
        <property name="margin">
         <number>0</number>
        </property>
        <item>
{'fraction_non_alphanumeric': 0.16208738790307192, 'fraction_numerical': 0.01001717229536348, 'mean_word_length': 2.38270409809616, 'pattern_counts': {'":': 0, '<': 299, '<?xml version=': 2, '>': 299, 'https://': 0, 'lorem ipsum': 0, 'www.': 2, 'xml': 2}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4626589', 'n_tokens_mistral': 3330, 'n_tokens_neox': 3234, 'n_words': 565}