note description: "Abstraction for Window Manager controlled shells" legal: "See notice at end of class." status: "See notice at end of class."; date: "$Date$"; revision: "$Revision$" class WM_CONTROL_WINDOWS feature -- Status report base_height: INTEGER -- Base for a progression of preferred heights -- for current window manager to use in sizing -- widgets. -- The preferred heights are `base_heights' plus -- integral multiples of `height_inc' do Result := 0 ensure then Result >= 0 end base_width: INTEGER -- Base for a progression of preferred widths -- for current window manager to use in sizing -- widgets. -- The preferred widths are `base_heights' plus -- integral multiples of `width_inc' do Result := 0 ensure then Result >= 0 end height_inc: INTEGER -- Increment for a progression of preferred -- heights for the window manager tu use in sizing -- widgets. do Result := 0 ensure then Result >= 0 end icon_mask: PIXMAP -- Bitmap that could be used by window manager -- to clip `icon_pixmap' bitmap to make the -- icon nonrectangular do end icon_pixmap: PIXMAP -- Bitmap that could be used by the window manager -- as the application's icon icon_x: INTEGER -- Place to put application's icon -- Since the window manager controls icon placement -- policy, this may be ignored. do end icon_y: INTEGER -- Place to put application's icon -- Since the window manager controls icon placement -- policy, this may be ignored. do end max_aspect_x: INTEGER -- Numerator of maximum aspect ratio (X/Y) that -- application wishes widget instance to have do end max_aspect_y: INTEGER -- Denominator of maximum ration (X/Y) that -- application wishes widget instance to have do end max_height: INTEGER -- Maximum height that application wishes widget -- instance to have max_width: INTEGER -- Maximum width that application wishes widget -- instance to have min_aspect_x: INTEGER -- Numerator of minimum aspect ratio (X/Y) that -- application wishes widget instance to have do end min_aspect_y: INTEGER -- Denominator of minimum ration (X/Y) that -- application wishes widget instance to have do end min_height: INTEGER -- minimum height that application wishes widget -- instance to have min_width: INTEGER -- minimum width that application wishes widget -- instance to have width_inc: INTEGER -- Increment for a progression of preferred -- widths for the window manager tu use in sizing -- widgets. do Result := 0 ensure then Result >= 0 end widget_group: WIDGET feature -- Status setting set_base_height (a_height: INTEGER) -- Set `base_height' to `a_height'. do ensure then base_height = a_height end set_base_width (a_width: INTEGER) -- Set `base_width' to `a_width'. do ensure then base_width = a_width end set_height_inc (an_increment: INTEGER) -- Set `height_inc' to `an_increment'. do ensure then height_inc = an_increment end set_width_inc (an_increment: INTEGER) -- Set `width_inc' to `an_increment'. do ensure then width_inc = an_increment end set_icon_mask (a_mask: PIXMAP) -- Set `icon_mask' to `a_mask'. do end set_icon_pixmap (a_pixmap: PIXMAP) -- Set `icon_pixmap' to `a_pixmap'. do icon_pixmap := a_pixmap ensure then icon_pixmap = a_pixmap end set_icon_x (x_value: INTEGER) -- Set `icon_x' to `x_value'. do end set_icon_y (y_value: INTEGER) -- Set `icon_y' to `y_value'. do end set_max_aspect_x (a_max: INTEGER) -- Set `max_aspect_x' to `a_max'. do ensure then max_aspect_x = a_max end set_max_aspect_y (a_max: INTEGER) -- Set `max_aspect_y' to `a_max'. do ensure then max_aspect_y = a_max end set_max_height (a_height: INTEGER) -- Set `max_height' to `a_height'. do max_height := a_height ensure then max_height = a_height end set_max_width (a_max: INTEGER) -- Set `max_width' to `a_max'. do max_width := a_max ensure then max_width = a_max end set_min_aspect_x (a_min: INTEGER) -- Set `min_aspect_x' to `a_min'. do ensure then min_aspect_x = a_min end set_min_aspect_y (a_min: INTEGER) -- Set `min_aspect_y' to `a_min'. do ensure then min_aspect_y = a_min end set_min_height (a_min: INTEGER) -- Set `min_height' to `a_min'. do min_height := a_min ensure then min_height = a_min end set_min_width (a_min: INTEGER) -- Set `min_width' to `a_min'. do min_width := a_min ensure then min_width = a_min end set_widget_group (a_widget: WIDGET) -- Set `widget_group' to `a_widget'. do end note copyright: "Copyright (c) 1984-2006, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 356 Storke Road, Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end -- class WM_CONTROL_WINDOWS