extern char WindowSizingStr[], ImageWidthStr[], ImageHeightStr[],
            ZoomBoxStr[], CoordBoxStr[], Winfract[], Fractint[];
extern char WinfractPosStr[], ZoomBoxPosStr[], CoordBoxPosStr[];
extern char *ProgStr;