mirror of
https://github.com/subsurface/subsurface.git
synced 2024-11-28 05:00:20 +00:00
efb1832db8
Adds a preference setting in the "Default" settings tab to toggle whether to display shortened names in the Map. TODO: instead of using the generic "settingsChanged" signal, it would be much more efficient to only update items based on the actual setting which was changed. Signed-off-by: Michael WERLE <micha@michaelwerle.com>
225 lines
5.6 KiB
XML
225 lines
5.6 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
||
<ui version="4.0">
|
||
<class>PreferencesDefaults</class>
|
||
<widget class="QWidget" name="PreferencesDefaults">
|
||
<property name="geometry">
|
||
<rect>
|
||
<x>0</x>
|
||
<y>0</y>
|
||
<width>561</width>
|
||
<height>558</height>
|
||
</rect>
|
||
</property>
|
||
<property name="windowTitle">
|
||
<string>Form</string>
|
||
</property>
|
||
<layout class="QVBoxLayout" name="verticalLayout">
|
||
|
||
<item>
|
||
<widget class="QGroupBox" name="groupBox_2">
|
||
<property name="title">
|
||
<string>Font for lists and tables</string>
|
||
</property>
|
||
<layout class="QHBoxLayout" name="horizontalLayout_1">
|
||
<property name="margin">
|
||
<number>5</number>
|
||
</property>
|
||
|
||
<item>
|
||
<widget class="QLabel" name="label_7">
|
||
<property name="text">
|
||
<string>Font</string>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
<item>
|
||
<widget class="QFontComboBox" name="font"/>
|
||
</item>
|
||
|
||
<item>
|
||
<widget class="QLabel" name="label_default1">
|
||
<property name="wordWrap">
|
||
<bool>true</bool>
|
||
</property>
|
||
<property name="text">
|
||
<string></string>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
|
||
<item>
|
||
<widget class="QLabel" name="label_8">
|
||
<property name="text">
|
||
<string>Font size</string>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
<item>
|
||
<widget class="QDoubleSpinBox" name="fontsize"/>
|
||
</item>
|
||
|
||
</layout>
|
||
</widget>
|
||
</item>
|
||
|
||
<item>
|
||
<widget class="QGroupBox" name="groupBox_7">
|
||
<property name="title">
|
||
<string>Animations</string>
|
||
</property>
|
||
<layout class="QVBoxLayout" name="verticalLayout_4">
|
||
<property name="margin">
|
||
<number>5</number>
|
||
</property>
|
||
|
||
<item>
|
||
<widget class="QLabel" name="label_help4">
|
||
<property name="toolTip">
|
||
<string extracomment="Help info 1"/>
|
||
</property>
|
||
<property name="wordWrap">
|
||
<bool>true</bool>
|
||
</property>
|
||
<property name="text">
|
||
<string>In some actions, e.g. when zooming the dive profile, the changing axis values are animated. Select the speed with which this animation should occur (maximum = 500):</string>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
|
||
<item>
|
||
<layout class="QHBoxLayout" name="horizontalLayout_4">
|
||
<item>
|
||
<widget class="QLabel" name="label_15">
|
||
<property name="text">
|
||
<string>Speed</string>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
<item>
|
||
<widget class="QSlider" name="velocitySlider">
|
||
<property name="maximum">
|
||
<number>500</number>
|
||
</property>
|
||
<property name="orientation">
|
||
<enum>Qt::Horizontal</enum>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
<item>
|
||
<widget class="QSpinBox" name="velocitySpinBox">
|
||
<property name="maximum">
|
||
<number>500</number>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
</layout>
|
||
</item>
|
||
|
||
</layout>
|
||
</widget>
|
||
</item>
|
||
<item>
|
||
<widget class="QGroupBox" name="groupBox_gridDepth">
|
||
<property name="title">
|
||
<string>Dive profile depth grid</string>
|
||
</property>
|
||
<layout class="QHBoxLayout" name="horizontalLayout">
|
||
<item>
|
||
<widget class="QLabel" name="label">
|
||
<property name="text">
|
||
<string>Depth line intevals.</string>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
<item>
|
||
<widget class="QRadioButton" name="gridGeneric">
|
||
<property name="text">
|
||
<string>generic ( 1, 2, 4, 5, 10 )</string>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
<item>
|
||
<widget class="QRadioButton" name="grid3MBased">
|
||
<property name="text">
|
||
<string>based on ×3 intervals ( 1, 3, 6, 15 )</string>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
</layout>
|
||
</widget>
|
||
</item>
|
||
|
||
<item>
|
||
<widget class="QGroupBox" name="groupBox">
|
||
<property name="title">
|
||
<string>Map Display Options</string>
|
||
</property>
|
||
<layout class="QHBoxLayout" name="horizontalLayout_2">
|
||
<item>
|
||
<widget class="QLabel" name="label_2">
|
||
<property name="text">
|
||
<string>Short Names:</string>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
<item>
|
||
<widget class="QCheckBox" name="checkBox_map_short_names">
|
||
<property name="text">
|
||
<string notr="true"/>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
</layout>
|
||
</widget>
|
||
</item>
|
||
<item>
|
||
<spacer name="verticalSpacer_2">
|
||
<property name="orientation">
|
||
<enum>Qt::Vertical</enum>
|
||
</property>
|
||
<property name="sizeHint" stdset="0">
|
||
<size>
|
||
<width>0</width>
|
||
<height>195</height>
|
||
</size>
|
||
</property>
|
||
</spacer>
|
||
</item>
|
||
</layout>
|
||
</widget>
|
||
<resources/>
|
||
<connections>
|
||
<connection>
|
||
<sender>velocitySlider</sender>
|
||
<signal>valueChanged(int)</signal>
|
||
<receiver>velocitySpinBox</receiver>
|
||
<slot>setValue(int)</slot>
|
||
<hints>
|
||
<hint type="sourcelabel">
|
||
<x>437</x>
|
||
<y>299</y>
|
||
</hint>
|
||
<hint type="destinationlabel">
|
||
<x>531</x>
|
||
<y>301</y>
|
||
</hint>
|
||
</hints>
|
||
</connection>
|
||
<connection>
|
||
<sender>velocitySpinBox</sender>
|
||
<signal>valueChanged(int)</signal>
|
||
<receiver>velocitySlider</receiver>
|
||
<slot>setValue(int)</slot>
|
||
<hints>
|
||
<hint type="sourcelabel">
|
||
<x>547</x>
|
||
<y>274</y>
|
||
</hint>
|
||
<hint type="destinationlabel">
|
||
<x>482</x>
|
||
<y>276</y>
|
||
</hint>
|
||
</hints>
|
||
</connection>
|
||
</connections>
|
||
</ui>
|