MIN_SAFE_WINDOW_PIXEL_WIDTH 7770 src/window.c   	  >= MIN_SAFE_WINDOW_PIXEL_WIDTH (w))
MIN_SAFE_WINDOW_PIXEL_WIDTH 7855 src/window.c   	  >= MIN_SAFE_WINDOW_PIXEL_WIDTH (w))
MIN_SAFE_WINDOW_PIXEL_WIDTH 7977 src/window.c   	  >= MIN_SAFE_WINDOW_PIXEL_WIDTH (w))