Open jkiviluo opened 3 hours ago
I have implemented this in my User/Design Mode branch. Maybe I should separate it to another branch so we can have in this master soon.
Great. If you think it would take more than 10 minutes, don't bother. It's not that bad. One can workaround it by moving the properties window fully to its own vertical slot.
Properties widget needs to have a vertical scroll bar, so that it's height can be smaller. Now, on small screens, it prevents changing the size of the widget (and other widgets) in a way that makes the workflow editor difficult to use.