1 <?xml version="1.0" encoding="UTF-8"?>
3 <class>killInterpreterDialog</class>
4 <widget class="QDialog" name="killInterpreterDialog">
5 <property name="geometry">
13 <property name="sizePolicy">
14 <sizepolicy hsizetype="Fixed" vsizetype="Fixed">
15 <horstretch>0</horstretch>
16 <verstretch>0</verstretch>
19 <property name="windowTitle">
20 <string>Kill interpreter</string>
22 <layout class="QHBoxLayout" name="horizontalLayout_2">
24 <widget class="QLabel" name="label">
25 <property name="text">
26 <string>Interp. ID</string>
31 <widget class="QLineEdit" name="lineEdit"/>
34 <widget class="QDialogButtonBox" name="buttonBox">
35 <property name="standardButtons">
36 <set>QDialogButtonBox::Cancel|QDialogButtonBox::Ok</set>