Quick one: could/would it maybe be possible to reach the options menu from within the dockingmenu. so that one doesn't have to undock to change gfxsetting etc...

yes that would be nice, I have died many a time trying to calibrate my Joystick when undocked :/

Wondered why this isn't now possible myself.

Yeah, it's annoying because I have to undock every time I change from full screen to windowed, but it takes ~45 sec to change from windowed to full screen, so I usually get killed.w :(