<> <> <> <> <<>> 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; initialOpenLeftWidth: 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.