diff options
| author | André Nusser <andre.nusser@googlemail.com> | 2017-04-16 22:00:53 +0200 |
|---|---|---|
| committer | André Nusser <andre.nusser@googlemail.com> | 2017-04-16 22:00:53 +0200 |
| commit | 62e052ed5af3aa6e00750bd10c0fc35fd32f0785 (patch) | |
| tree | f93c289c88dabbf089c425c39cb90449191d7b84 /plugingui/pluginconfig.cc | |
| parent | 43b179778a7845d64c0ce99a507af38ca8295f96 (diff) | |
Change width of scroll bar in TextEdit widget.
Diffstat (limited to 'plugingui/pluginconfig.cc')
0 files changed, 0 insertions, 0 deletions