|
@@ -17,10 +17,7 @@ namespace GUI {
|
|
SeparatorWidget::SeparatorWidget(Gfx::Orientation orientation)
|
|
SeparatorWidget::SeparatorWidget(Gfx::Orientation orientation)
|
|
: m_orientation(orientation)
|
|
: m_orientation(orientation)
|
|
{
|
|
{
|
|
- if (m_orientation == Gfx::Orientation::Vertical)
|
|
|
|
- set_fixed_width(8);
|
|
|
|
- else
|
|
|
|
- set_fixed_height(8);
|
|
|
|
|
|
+ set_preferred_size(SpecialDimension::Fit);
|
|
}
|
|
}
|
|
|
|
|
|
void SeparatorWidget::paint_event(PaintEvent& event)
|
|
void SeparatorWidget::paint_event(PaintEvent& event)
|
|
@@ -39,4 +36,11 @@ void SeparatorWidget::paint_event(PaintEvent& event)
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
|
|
|
|
+Optional<UISize> SeparatorWidget::calculated_preferred_size() const
|
|
|
|
+{
|
|
|
|
+ if (m_orientation == Gfx::Orientation::Vertical)
|
|
|
|
+ return UISize { 8, SpecialDimension::OpportunisticGrow };
|
|
|
|
+ return UISize { SpecialDimension::OpportunisticGrow, 8 };
|
|
|
|
+}
|
|
|
|
+
|
|
}
|
|
}
|