ui_wsc_resize 713 uspace/lib/ui/src/window.c case ui_wsc_resize: ui_wsc_resize 789 uspace/lib/ui/src/window.c return ui_window_size_change(window, rect, ui_wsc_resize);