<> <> <> <> <> <<>> DIRECTORY Icons USING [iconH, iconW]; ViewerSpecs: CEDAR DEFINITIONS ~ BEGIN bwScreenWidth: READONLY NAT; bwScreenHeight: READONLY NAT; <> colorScreenHeight: READONLY NAT; colorScreenWidth: READONLY NAT; <> <<>> windowBorderSize: READONLY NAT; <> <<>> captionHeight: READONLY NAT; <> <<>> menuHeight: READONLY NAT; <> <<>> menuBarHeight: READONLY NAT; <> <<>> scrollBarW: READONLY NAT; <> <<>> messageWindowHeight: READONLY NAT; <> openLeftLeftX: READONLY NAT; -- _ 0 openLeftWidth: READONLY NAT; -- _ 600 <> <<>> openRightLeftX: READONLY NAT; openRightWidth: READONLY NAT; <> openTopY: READONLY NAT; openBottomY: READONLY NAT; <> <<>> iconWidth: NAT ~ Icons.iconW; iconHeight: NAT ~ Icons.iconH; <> <<>> iconSpacing: READONLY NAT; <> iconLeftX: READONLY NAT; iconBottomY: READONLY NAT; <> <<>> iconRowHeight: READONLY NAT; iconRows: READONLY NAT; <> <<>> iconColumnWidth: READONLY NAT; iconColumns: READONLY NAT; <> <<>> END.