PMinSize          214 src/androidgui.h #define PMinSize	(1L << 4) /* program specified minimum size */
PMinSize           88 src/haikugui.h #define PMinSize	(1L << 4) /* program specified minimum size */
PMinSize          136 src/nsgui.h    #define PMinSize	(1L << 4) /* program specified minimum size */
PMinSize           91 src/pgtkgui.h  #define PMinSize	(1L << 4)	/* program specified minimum size */
PMinSize           83 src/w32gui.h   #define PMinSize	(1L << 4) /* program specified minimum size */