Bug: Scrollbar of target area does not update position
e. g. when resizing UI panes in width
(from redmine: issue id 419, created on 2018-01-22tgradl, closed on 2018-01-22)
- Relations:
- relates #396
e. g. when resizing UI panes in width
(from redmine: issue id 419, created on 2018-01-22tgradl, closed on 2018-01-22)