-- Command used for the copy of the colors, -- using an attrib_stone from a context editor class CLR_STONE_CMD inherit CONTEXT_CMD redefine work end feature {NONE} bg_cmd: BG_STONE_CMD; fg_cmd: FG_STONE_CMD; feature work (argument: ANY) is do context ?= argument; !!bg_cmd; bg_cmd.work (context); !!fg_cmd; fg_cmd.work (context); end; feature {NONE} c_name: STRING is do Result := Command_names.cont_colors_cmd_name end; associated_form: INTEGER is do Result := Context_const.color_form_nbr end; context_undo is do bg_cmd.undo; fg_cmd.undo; end; context_work is do end; end