Windows10: Bug: It is not possible to increase size of option window on Windows system

[PhilippeAccorsi]

At present

It is possible to increase size of option window but the option "view" is not increase. Just windows view change. Ther problem is: I can't seen the space name correctly because some of space have more than 22 caracters (or something like that)

Expected

It is possibnle to increase size of option view to show the sapce name correctly.

[PhilippeAccorsi]

This is the default size on my computer (Windows 10 on 4K screen)

After increasing size of window

[buxx]

UI updated in last version