MIN_SAFE_WINDOW_PIXEL_WIDTH 7787 src/window.c   	  >= MIN_SAFE_WINDOW_PIXEL_WIDTH (w))
MIN_SAFE_WINDOW_PIXEL_WIDTH 7872 src/window.c   	  >= MIN_SAFE_WINDOW_PIXEL_WIDTH (w))
MIN_SAFE_WINDOW_PIXEL_WIDTH 7994 src/window.c   	  >= MIN_SAFE_WINDOW_PIXEL_WIDTH (w))