From 152423c0274887415b50c0d31828036a8fe54708 Mon Sep 17 00:00:00 2001
From: Bent Bisballe Nyeng <deva@aasimon.org>
Date: Sun, 3 Feb 2019 19:24:47 +0100
Subject: Increase tab-button width.

---
 plugingui/tabwidget.h | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'plugingui/tabwidget.h')

diff --git a/plugingui/tabwidget.h b/plugingui/tabwidget.h
index 3f0e041..ff239a8 100644
--- a/plugingui/tabwidget.h
+++ b/plugingui/tabwidget.h
@@ -47,6 +47,9 @@ public:
 
 	std::size_t getBarHeight() const;
 
+	void setTabWidth(std::size_t width);
+	std::size_t getTabWidth() const;
+
 private:
 	//! Callback for Widget::sizeChangeNotifier
 	void sizeChanged(int width, int height);
@@ -68,6 +71,8 @@ private:
 	Texture toplogo{getImageCache(), ":resources/toplogo.png",
 			0, 0, // atlas offset (x, y)
 			95, 17}; // width, height
+
+	std::size_t tab_width{64};
 };
 
 } // GUI::
-- 
cgit v1.2.3