95 <height>82</height> |
95 <height>82</height> |
96 </size> |
96 </size> |
97 </property> |
97 </property> |
98 </spacer> |
98 </spacer> |
99 </item> |
99 </item> |
|
100 <item> |
|
101 <widget class="QPushButton" name="editPython3Button"> |
|
102 <property name="toolTip"> |
|
103 <string>Press to edit the rope configuration for Python3</string> |
|
104 </property> |
|
105 <property name="text"> |
|
106 <string>Edit Python 3 rope configuration</string> |
|
107 </property> |
|
108 </widget> |
|
109 </item> |
|
110 <item> |
|
111 <widget class="QPushButton" name="createPython3Button"> |
|
112 <property name="toolTip"> |
|
113 <string>Press to create a new rope default configuration for Python3</string> |
|
114 </property> |
|
115 <property name="text"> |
|
116 <string>Create a Python3 rope configuration</string> |
|
117 </property> |
|
118 </widget> |
|
119 </item> |
100 </layout> |
120 </layout> |
101 </widget> |
121 </widget> |
|
122 <tabstops> |
|
123 <tabstop>ropeCalltipsCheckBox</tabstop> |
|
124 <tabstop>ctMaxfixesSpinBox</tabstop> |
|
125 <tabstop>editPython3Button</tabstop> |
|
126 <tabstop>createPython3Button</tabstop> |
|
127 </tabstops> |
102 <resources/> |
128 <resources/> |
103 <connections/> |
129 <connections/> |
104 </ui> |
130 </ui> |