Would be possible to change the size of the window by “Leader” edit? (with right bottom corner manipulation)
Got that, thanks.
https://mcneel.myjetbrains.com/youtrack/issue/RH-54648
-Pascal