Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/EditorCalltipsPage.ui
Preferences/ConfigurationPages/EditorCalltipsPage.ui
- changeset 4153
- 95b18307079f
- parent 2262
- 2371836c3c45
- child 4201
- 2a9316cb3fad
equal
deleted
inserted
replaced
| 4152:d90464d2ccaa | 4153:95b18307079f |
|---|---|
| 4 <widget class="QWidget" name="EditorCalltipsPage"> | 4 <widget class="QWidget" name="EditorCalltipsPage"> |
| 5 <property name="geometry"> | 5 <property name="geometry"> |
| 6 <rect> | 6 <rect> |
| 7 <x>0</x> | 7 <x>0</x> |
| 8 <y>0</y> | 8 <y>0</y> |
| 9 <width>406</width> | 9 <width>408</width> |
| 10 <height>369</height> | 10 <height>373</height> |
| 11 </rect> | 11 </rect> |
| 12 </property> | 12 </property> |
| 13 <layout class="QVBoxLayout" name="verticalLayout_3"> | 13 <layout class="QVBoxLayout" name="verticalLayout_3"> |
| 14 <item> | 14 <item> |
| 15 <widget class="QLabel" name="headerLabel"> | 15 <widget class="QLabel" name="headerLabel"> |
| 35 <widget class="QCheckBox" name="ctEnabledCheckBox"> | 35 <widget class="QCheckBox" name="ctEnabledCheckBox"> |
| 36 <property name="toolTip"> | 36 <property name="toolTip"> |
| 37 <string>Select this to enable calltips</string> | 37 <string>Select this to enable calltips</string> |
| 38 </property> | 38 </property> |
| 39 <property name="text"> | 39 <property name="text"> |
| 40 <string>Calltips Enabled</string> | 40 <string>Automatic Calltips Enabled</string> |
| 41 </property> | 41 </property> |
| 42 </widget> | 42 </widget> |
| 43 </item> | 43 </item> |
| 44 <item> | 44 <item> |
| 45 <widget class="QFrame" name="frame"> | 45 <widget class="QFrame" name="frame"> |
| 46 <property name="enabled"> | 46 <property name="enabled"> |
| 47 <bool>false</bool> | 47 <bool>false</bool> |
| 48 </property> | 48 </property> |
| 49 <layout class="QHBoxLayout" name="horizontalLayout"> | 49 <layout class="QHBoxLayout" name="horizontalLayout"> |
| 50 <property name="margin"> | 50 <property name="leftMargin"> |
| 51 <number>0</number> | |
| 52 </property> | |
| 53 <property name="topMargin"> | |
| 54 <number>0</number> | |
| 55 </property> | |
| 56 <property name="rightMargin"> | |
| 57 <number>0</number> | |
| 58 </property> | |
| 59 <property name="bottomMargin"> | |
| 51 <number>0</number> | 60 <number>0</number> |
| 52 </property> | 61 </property> |
| 53 </layout> | 62 </layout> |
| 54 </widget> | 63 </widget> |
| 55 </item> | 64 </item> |
