mirror of
https://github.com/qelectrotech/qelectrotech-source-mirror.git
synced 2026-10-22 22:34:13 +02:00
ispyisail
dc30b26dab
#1533 stopped the panel shrinking to its title bar when the selection had nothing to edit, so that it would keep the height the user gave it (#1439). Users want the room back for the Collections and Auto numbering panels while nothing is selected (#1566). The panel's layout is back to QLayout::SetMaximumSize, so the empty panel shrinks as before. Just before its last editor goes, the panel keeps the heights of every docked panel in its area; when an editor comes back it gives them back with QMainWindow::resizeDocks, the call a separator drag makes. Giving only this panel its height back fell 35 px short in the test: the neighbours had been split again from their size hints and gave up only part of the room. Test: tst_selectionpanelheight now checks, twice over, that the empty panel shrinks and that selecting an element again brings back the height the user gave it. Without the restore the panel comes back at 470 px instead of 560; on master the empty panel does not shrink. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
42 lines
1.0 KiB
XML
42 lines
1.0 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<ui version="4.0">
|
|
<class>PropertiesEditorDockWidget</class>
|
|
<widget class="QDockWidget" name="PropertiesEditorDockWidget">
|
|
<property name="geometry">
|
|
<rect>
|
|
<x>0</x>
|
|
<y>0</y>
|
|
<width>400</width>
|
|
<height>300</height>
|
|
</rect>
|
|
</property>
|
|
<property name="windowTitle">
|
|
<string>Selection properties</string>
|
|
</property>
|
|
<widget class="QWidget" name="dockWidgetContents">
|
|
<layout class="QVBoxLayout" name="verticalLayout">
|
|
<property name="sizeConstraint">
|
|
<enum>QLayout::SetMaximumSize</enum>
|
|
</property>
|
|
<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>
|
|
<layout class="QVBoxLayout" name="m_main_vlayout"/>
|
|
</item>
|
|
</layout>
|
|
</widget>
|
|
</widget>
|
|
<resources/>
|
|
<connections/>
|
|
</ui>
|