JanBliznicenko
commented
1 year ago Thank you a lot for all your feedback. Older version of the GUI framework had it enabled by default - current one does not, so I enabled it. The changed version will be built as a nightly build in several minutes.
I have encountered this unfortunate feature: Columns of window here can't be resized, hiding the very valuable information. Even if there was not enough screen estate (which it clearly is here), it should probably be possible to resize beyond screen size and then move horizontally with a scrollbar.