on IRC we also found out that the window is in state maximized, but has somehow conflicting properties:
1. unmaximized is enabled in the window menu (alt + space) - just like its supposed to be for maximized windows
2. resize is _enable_ in window menu - even though it should be greyed out in maximized state; resizing doesnt work though.
on IRC we also found out that the window is in state maximized, but has somehow conflicting properties:
1. unmaximized is enabled in the window menu (alt + space) - just like its supposed to be for maximized windows
2. resize is _enable_ in window menu - even though it should be greyed out in maximized state; resizing doesnt work though.