Hi Janek,
good idea! I added a splitter to the UI such that users can change the width on their own. The corresponding merge request is MR!852 .

Cheers
Wolfgang

Read More...