From 62e052ed5af3aa6e00750bd10c0fc35fd32f0785 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9=20Nusser?= 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(-) (limited to 'plugingui/textedit.cc') 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