src/eric7/Preferences/ConfigurationPages/EditorMouseClickHandlerJediPage.ui

branch
eric7
changeset 9209
b99e7fd55fd3
parent 8593
1d66b6af60ed
equal deleted inserted replaced
9208:3fc8dfeb6ebe 9209:b99e7fd55fd3
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>&lt;b&gt;Configure Jedi Mouse Click Handler Support&lt;/b&gt;</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>

eric ide

mercurial