indexing
	description: "Miscellaneous actions applicable to error reports."
	date: "$Date$"
	revision: "$Revision$"

class
	ERROR_ACTIONS
		
inherit
	SHARED_OBJECTS

create {ERROR_REPORT}
	default_create

feature -- Actions

	highlight_text_in_editor (a_line_no, a_line_pos: INTEGER) is
			-- Highlight error in editor
		do
			Shared_document_manager.current_editor.text_displayed.cursor.set_y_in_lines (a_line_no)
			Shared_document_manager.current_editor.text_displayed.cursor.set_x_in_characters (a_line_pos)
			Shared_document_manager.current_editor.text_displayed.highlight_line (a_line_no)
			Shared_document_manager.current_editor.display_line_with_context (a_line_no)
			Shared_document_manager.current_editor.set_focus
		end
		
	highlight_text_byte_in_editor (a_byte_pos: INTEGER) is
			-- Highlight error in editor based on byte position
		do
--			shared_document_editor.text_displayed.cursor.set_y_in_lines (a_line_no)
--			shared_document_editor.text_displayed.cursor.set_x_in_characters (a_byte_pos)
--			shared_document_editor.text_displayed.highlight_line (a_line_no)
--			shared_document_editor.set_focus
		end

	load_file_in_editor (a_filename: STRING) is
			-- Load file in editor
		require
			filename_not_void: a_filename /= Void
		do
			Shared_document_manager.load_document_from_file (a_filename)
		end

end -- class ERROR_ACTIONS