kernel/ui/kill_dialog.ui

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <ui version="4.0">
   3  <class>KillInterpreterDialog</class>
   4  <widget class="QDialog" name="KillInterpreterDialog">
   5   <property name="geometry">
   6    <rect>
   7     <x>0</x>
   8     <y>0</y>
   9     <width>184</width>
  10     <height>71</height>
  11    </rect>
  12   </property>
  13   <property name="windowTitle">
  14    <string>Dialog</string>
  15   </property>
  16   <layout class="QVBoxLayout" name="verticalLayout">
  17    <item>
  18     <layout class="QHBoxLayout" name="horizontalLayout">
  19      <item>
  20       <widget class="QLabel" name="label">
  21        <property name="text">
  22         <string>Interp. ID:</string>
  23        </property>
  24       </widget>
  25      </item>
  26      <item>
  27       <widget class="QSpinBox" name="interpreterId"/>
  28      </item>
  29     </layout>
  30    </item>
  31    <item>
  32     <widget class="QDialogButtonBox" name="buttonBox">
  33      <property name="orientation">
  34       <enum>Qt::Horizontal</enum>
  35      </property>
  36      <property name="standardButtons">
  37       <set>QDialogButtonBox::Cancel|QDialogButtonBox::Ok</set>
  38      </property>
  39     </widget>
  40    </item>
  41   </layout>
  42  </widget>
  43  <resources/>
  44  <connections>
  45   <connection>
  46    <sender>buttonBox</sender>
  47    <signal>accepted()</signal>
  48    <receiver>KillInterpreterDialog</receiver>
  49    <slot>accept()</slot>
  50    <hints>
  51     <hint type="sourcelabel">
  52      <x>248</x>
  53      <y>254</y>
  54     </hint>
  55     <hint type="destinationlabel">
  56      <x>157</x>
  57      <y>274</y>
  58     </hint>
  59    </hints>
  60   </connection>
  61   <connection>
  62    <sender>buttonBox</sender>
  63    <signal>rejected()</signal>
  64    <receiver>KillInterpreterDialog</receiver>
  65    <slot>reject()</slot>
  66    <hints>
  67     <hint type="sourcelabel">
  68      <x>316</x>
  69      <y>260</y>
  70     </hint>
  71     <hint type="destinationlabel">
  72      <x>286</x>
  73      <y>274</y>
  74     </hint>
  75    </hints>
  76   </connection>
  77  </connections>
  78 </ui>