ui_wsc_unmaximize 720 uspace/lib/ui/src/window.c case ui_wsc_unmaximize: ui_wsc_unmaximize 1505 uspace/lib/ui/src/window.c ui_wsc_unmaximize);