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 WolfgangRead More...