|
1 <?xml version="1.0" encoding="UTF-8"?> |
|
2 <ui version="4.0"> |
|
3 <class>EditorMouseClickHandlerJediPage</class> |
|
4 <widget class="QWidget" name="EditorMouseClickHandlerJediPage"> |
|
5 <property name="geometry"> |
|
6 <rect> |
|
7 <x>0</x> |
|
8 <y>0</y> |
|
9 <width>400</width> |
|
10 <height>300</height> |
|
11 </rect> |
|
12 </property> |
|
13 <layout class="QVBoxLayout" name="verticalLayout"> |
|
14 <item> |
|
15 <widget class="QLabel" name="headerLabel"> |
|
16 <property name="text"> |
|
17 <string><b>Configure Jedi Mouse Click Handler Support</b></string> |
|
18 </property> |
|
19 </widget> |
|
20 </item> |
|
21 <item> |
|
22 <widget class="Line" name="line15"> |
|
23 <property name="frameShape"> |
|
24 <enum>QFrame::HLine</enum> |
|
25 </property> |
|
26 <property name="frameShadow"> |
|
27 <enum>QFrame::Sunken</enum> |
|
28 </property> |
|
29 <property name="orientation"> |
|
30 <enum>Qt::Horizontal</enum> |
|
31 </property> |
|
32 </widget> |
|
33 </item> |
|
34 <item> |
|
35 <widget class="QCheckBox" name="jediClickHandlerCheckBox"> |
|
36 <property name="toolTip"> |
|
37 <string>Select, whether the jedi mouse click handler support shall be enabled.</string> |
|
38 </property> |
|
39 <property name="text"> |
|
40 <string>Enable Mouse Click Handler</string> |
|
41 </property> |
|
42 </widget> |
|
43 </item> |
|
44 <item> |
|
45 <widget class="QGroupBox" name="groupBox"> |
|
46 <property name="title"> |
|
47 <string>Go To Definition</string> |
|
48 </property> |
|
49 <layout class="QHBoxLayout" name="horizontalLayout"> |
|
50 <item> |
|
51 <widget class="QLabel" name="label"> |
|
52 <property name="text"> |
|
53 <string>Click Sequence:</string> |
|
54 </property> |
|
55 </widget> |
|
56 </item> |
|
57 <item> |
|
58 <widget class="QLineEdit" name="gotoClickEdit"> |
|
59 <property name="focusPolicy"> |
|
60 <enum>Qt::NoFocus</enum> |
|
61 </property> |
|
62 <property name="toolTip"> |
|
63 <string>Shows the mouse click sequence</string> |
|
64 </property> |
|
65 <property name="readOnly"> |
|
66 <bool>true</bool> |
|
67 </property> |
|
68 </widget> |
|
69 </item> |
|
70 <item> |
|
71 <widget class="QPushButton" name="changeGotoButton"> |
|
72 <property name="toolTip"> |
|
73 <string>Press to open a dialog to configure the mouse click sequence</string> |
|
74 </property> |
|
75 <property name="text"> |
|
76 <string>Change...</string> |
|
77 </property> |
|
78 </widget> |
|
79 </item> |
|
80 </layout> |
|
81 </widget> |
|
82 </item> |
|
83 <item> |
|
84 <spacer name="verticalSpacer"> |
|
85 <property name="orientation"> |
|
86 <enum>Qt::Vertical</enum> |
|
87 </property> |
|
88 <property name="sizeHint" stdset="0"> |
|
89 <size> |
|
90 <width>20</width> |
|
91 <height>147</height> |
|
92 </size> |
|
93 </property> |
|
94 </spacer> |
|
95 </item> |
|
96 </layout> |
|
97 </widget> |
|
98 <resources/> |
|
99 <connections/> |
|
100 </ui> |