2021-09-21 20:36:43 +08:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<ui version="4.0">
|
|
|
|
<class>EditorTooltipsWidget</class>
|
|
|
|
<widget class="QWidget" name="EditorTooltipsWidget">
|
|
|
|
<property name="geometry">
|
|
|
|
<rect>
|
|
|
|
<x>0</x>
|
|
|
|
<y>0</y>
|
|
|
|
<width>637</width>
|
|
|
|
<height>300</height>
|
|
|
|
</rect>
|
|
|
|
</property>
|
|
|
|
<property name="windowTitle">
|
|
|
|
<string>Form</string>
|
|
|
|
</property>
|
|
|
|
<layout class="QVBoxLayout" name="verticalLayout">
|
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkShowFunctionTips">
|
|
|
|
<property name="text">
|
|
|
|
<string>Show function tips</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QGroupBox" name="grpEnableTooltips">
|
|
|
|
<property name="title">
|
|
|
|
<string>Enable mouse hover tooltips</string>
|
|
|
|
</property>
|
|
|
|
<property name="checkable">
|
|
|
|
<bool>true</bool>
|
|
|
|
</property>
|
|
|
|
<layout class="QVBoxLayout" name="verticalLayout_2">
|
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkIssueTooltips">
|
|
|
|
<property name="text">
|
|
|
|
<string>Show syntax issue tooltips</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkHeaderTooltips">
|
|
|
|
<property name="text">
|
|
|
|
<string>Show full header filename tooltips</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkIdentifierTooltips">
|
|
|
|
<property name="text">
|
|
|
|
<string>Show identifier definition tooltips</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QCheckBox" name="chkDebugTooltips">
|
|
|
|
<property name="text">
|
|
|
|
<string>Show expression value tooltips when debugging</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2023-02-17 09:03:35 +08:00
|
|
|
<item>
|
|
|
|
<widget class="QWidget" name="widget" native="true">
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout">
|
|
|
|
<property name="leftMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="topMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="rightMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="bottomMargin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<item>
|
|
|
|
<widget class="QLabel" name="label">
|
|
|
|
<property name="text">
|
|
|
|
<string>Tool tips delay</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QSpinBox" name="spinTipsDelay">
|
|
|
|
<property name="suffix">
|
|
|
|
<string>ms</string>
|
|
|
|
</property>
|
|
|
|
<property name="maximum">
|
|
|
|
<number>5000</number>
|
|
|
|
</property>
|
|
|
|
<property name="singleStep">
|
|
|
|
<number>100</number>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<spacer name="horizontalSpacer">
|
|
|
|
<property name="orientation">
|
|
|
|
<enum>Qt::Horizontal</enum>
|
|
|
|
</property>
|
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
<size>
|
|
|
|
<width>40</width>
|
|
|
|
<height>20</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2021-09-21 20:36:43 +08:00
|
|
|
<item>
|
|
|
|
<spacer name="verticalSpacer">
|
|
|
|
<property name="orientation">
|
|
|
|
<enum>Qt::Vertical</enum>
|
|
|
|
</property>
|
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
<size>
|
|
|
|
<width>20</width>
|
|
|
|
<height>40</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
<resources/>
|
|
|
|
<connections/>
|
|
|
|
</ui>
|