Mercurial Repositories > eric / file comparison
comparison: eric7/Preferences/ConfigurationPages/EditorGeneralPage.ui
eric7/Preferences/ConfigurationPages/EditorGeneralPage.ui
- branch
- eric7
- changeset 8512
- cc82680dba7b
- parent 8505
- bbe43ddfae56
- child 8849
- cb2dfb596bd6
equal
deleted
inserted
replaced
| 8511:8046c6a443bd | 8512:cc82680dba7b |
|---|---|
| 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>550</width> | 9 <width>550</width> |
| 10 <height>863</height> | 10 <height>865</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"> |
| 432 <widget class="QGroupBox" name="mouseHoverHelpGroupBox"> | 432 <widget class="QGroupBox" name="mouseHoverHelpGroupBox"> |
| 433 <property name="toolTip"> | 433 <property name="toolTip"> |
| 434 <string>Select to enable the support for mouse hover help text</string> | 434 <string>Select to enable the support for mouse hover help text</string> |
| 435 </property> | 435 </property> |
| 436 <property name="whatsThis"> | 436 <property name="whatsThis"> |
| 437 <string><html><head/><body><p>&lt;b&gt;Mouse Hover Help&lt;/b&gt;</p><p>&lt;p&gt;Enable this option to show some information about the symbol the mouse is hovering over. An information provider plug-in (e.g. Jedi) must be installed for this to work.&lt;/p&gt;</p></body></html></string> | 437 <string><b>Mouse Hover Help</b><p>Enable this option to show some information about the symbol the mouse is hovering over. An information provider plug-in (e.g. Jedi) must be installed for this to work.</p></string> |
| 438 </property> | 438 </property> |
| 439 <property name="title"> | 439 <property name="title"> |
| 440 <string>Mouse Hover Help</string> | 440 <string>Mouse Hover Help</string> |
| 441 </property> | 441 </property> |
| 442 <property name="checkable"> | 442 <property name="checkable"> |
