class
	EL_FILE_CONTEXT_MENU_DESKTOP_ENV_IMP

inherit
	EL_FILE_CONTEXT_MENU_DESKTOP_ENV_I
		redefine
			install, uninstall
		end

	EL_DESKTOP_ENVIRONMENT_IMP
		rename
			make as make_installer,
			command_args_template as launch_script_template,
			command_args as script_args
		undefine
			application_command, make_default, getter_function_table
		redefine
			install, uninstall
		end

create
	make

feature -- Basic operations

	add_menu_entry
		do
		end

	install
		do
			Precursor {EL_FILE_CONTEXT_MENU_DESKTOP_ENV_I}
			Precursor {EL_DESKTOP_ENVIRONMENT_IMP} -- set Windows compatibility mode
		end

	remove_menu_entry
		do
		end

	uninstall
		do
			Precursor {EL_FILE_CONTEXT_MENU_DESKTOP_ENV_I}
			Precursor {EL_DESKTOP_ENVIRONMENT_IMP} -- remove Windows compatibility mode
		end

feature {EL_DESKTOP_ENVIRONMENT_I} -- Constants

	Launch_script_location: DIR_PATH
		once
			create Result
		end

	Launch_script_template: STRING = ""
		-- Substitution template

end