class EB_TOGGLE_B 

inherit

	TOGGLE_B
		rename
			make as toggle_create
		end


creation

	make

	
feature 

	make (a_name: STRING; a_parent: COMPOSITE; cmd: COMMAND; editor: CONTEXT_EDITOR) is
		do
			toggle_create (a_name, a_parent);
			add_release_action (cmd, editor);
			eb_cmd := cmd;
			eb_ed := editor;
		end;

	eb_cmd: COMMAND;

	eb_ed: CONTEXT_EDITOR;

	set_state (a_state: BOOLEAN) is
		do
			if a_state /= state then
				if a_state then
					set_toggle_on
				else
					set_toggle_off
				end
			end
		end;

end