<> <> <<>> DIRECTORY Icons USING [iconH, iconW]; ViewerSpecs: CEDAR DEFINITIONS = BEGIN screenW: INTEGER = 1024; screenH: INTEGER = 808; windowBorderSize: INTEGER = 1; captionHeight: INTEGER = 12; menuHeight: INTEGER = 12; menuBarHeight: INTEGER = 1; messageWindowHeight: INTEGER = 18; messageWindowWidth: INTEGER = screenW; openLeftLeftX: INTEGER = 0; openLeftTopY: INTEGER = screenH - messageWindowHeight; openLeftWidth: INTEGER ; -- 600; openRightLeftX: INTEGER ; -- openLeftLeftX+openLeftWidth; openRightTopY: INTEGER = screenH - messageWindowHeight; openRightWidth: INTEGER ; -- screenW-openLeftWidth; openBottomY: INTEGER; -- iconHeight+iconSpacing; scrollBarW: INTEGER = 12; iconSpacing: INTEGER = 4; -- should be multiple of 4 for grey background alignment iconLeftX: INTEGER = iconSpacing; iconRightX: INTEGER = screenW; iconWidth: INTEGER = Icons.iconW; iconBottomY: INTEGER = 0; iconHeight: INTEGER = Icons.iconH; iconRows: INTEGER = 2; iconTopY: INTEGER = iconRows*(iconHeight+iconSpacing); END.