From 1587b530016f73c37fb60c11c7323794967cb979 Mon Sep 17 00:00:00 2001 From: Andreas Kling Date: Fri, 24 Apr 2020 20:30:32 +0200 Subject: [PATCH] LibGUI: Allow overriding the padding inside a TabWidget --- Libraries/LibGUI/TabWidget.cpp | 3 ++- Libraries/LibGUI/TabWidget.h | 5 ++++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/Libraries/LibGUI/TabWidget.cpp b/Libraries/LibGUI/TabWidget.cpp index 569a79c5bf..1be9c6f9d9 100644 --- a/Libraries/LibGUI/TabWidget.cpp +++ b/Libraries/LibGUI/TabWidget.cpp @@ -156,7 +156,8 @@ void TabWidget::paint_event(PaintEvent& event) padding_rect.shrink(2, 2); } - Gfx::StylePainter::paint_frame(painter, container_rect, palette(), Gfx::FrameShape::Container, Gfx::FrameShadow::Raised, 2); + if (container_padding() > 0) + Gfx::StylePainter::paint_frame(painter, container_rect, palette(), Gfx::FrameShape::Container, Gfx::FrameShadow::Raised, 2); for (size_t i = 0; i < m_tabs.size(); ++i) { if (m_tabs[i].widget == m_active_widget) diff --git a/Libraries/LibGUI/TabWidget.h b/Libraries/LibGUI/TabWidget.h index b566b0f3f7..6a8f28b733 100644 --- a/Libraries/LibGUI/TabWidget.h +++ b/Libraries/LibGUI/TabWidget.h @@ -50,7 +50,9 @@ public: void set_active_widget(Widget*); int bar_height() const { return 21; } - int container_padding() const { return 2; } + + int container_padding() const { return m_container_padding; } + void set_container_padding(int padding) { m_container_padding = padding; } void add_widget(const StringView&, Widget&); void remove_widget(Widget&); @@ -100,6 +102,7 @@ private: Vector m_tabs; TabPosition m_tab_position { TabPosition::Top }; int m_hovered_tab_index { -1 }; + int m_container_padding { 2 }; }; }