get_wm_shell      406 src/widget.c     if (get_wm_shell (widget))
get_wm_shell      407 src/widget.c       update_wm_hints (get_wm_shell (widget), ew);
get_wm_shell      432 src/widget.c     if (get_wm_shell (widget))
get_wm_shell      433 src/widget.c       update_wm_hints (get_wm_shell (widget), ew);