From 62e052ed5af3aa6e00750bd10c0fc35fd32f0785 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9=20Nusser?= <andre.nusser@googlemail.com>
Date: Sun, 16 Apr 2017 22:00:53 +0200
Subject: Change width of scroll bar in TextEdit widget.
---
plugingui/textedit.cc | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/plugingui/textedit.cc b/plugingui/textedit.cc
index 1a13530..357454e 100644
--- a/plugingui/textedit.cc
+++ b/plugingui/textedit.cc
@@ -42,8 +42,8 @@ TextEdit::TextEdit(Widget* parent) : Widget(parent), scroll(this)
{
setReadOnly(true);
- scroll.move(width() - 5, 1);
- scroll.resize(20, 100);
+ scroll.move(width() - 23, 1);
+ scroll.resize(16, 100);
CONNECT(&scroll, valueChangeNotifier, this, &TextEdit::scrolled);
}
@@ -55,7 +55,7 @@ void TextEdit::resize(std::size_t width, std::size_t height)
{
Widget::resize(width, height);
scroll.resize(scroll.width(), height - 14);
- scroll.move(width - 30, 7);
+ scroll.move(width - 23, 7);
// TODO: This might be bad for performance. Improve at some point.
if (adapt_text_on_resize)
--
cgit v1.2.3