summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndré Nusser <andre.nusser@googlemail.com>2017-04-16 22:00:53 +0200
committerAndré Nusser <andre.nusser@googlemail.com>2017-04-16 22:00:53 +0200
commit62e052ed5af3aa6e00750bd10c0fc35fd32f0785 (patch)
treef93c289c88dabbf089c425c39cb90449191d7b84
parent43b179778a7845d64c0ce99a507af38ca8295f96 (diff)
Change width of scroll bar in TextEdit widget.
-rw-r--r--plugingui/textedit.cc6
1 files 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)