diff options
| author | André Nusser <andre.nusser@googlemail.com> | 2017-04-16 18:34:54 +0200 |
|---|---|---|
| committer | André Nusser <andre.nusser@googlemail.com> | 2017-04-16 18:34:54 +0200 |
| commit | 93e22693b1fc378c87dd6bf749ac530c19dbc3c5 (patch) | |
| tree | 97a929e3a6a07d7ca9b5c0249051ce2cf9913327 /plugingui/mainwindow.cc | |
| parent | 5156131e09669de6f9c2343ebe7dd1bf24bb024b (diff) | |
Fix bug of ScrollBar where the bar was not shown.
Diffstat (limited to 'plugingui/mainwindow.cc')
0 files changed, 0 insertions, 0 deletions