indexing
	description: "User editor preferences."
	date: "$Date$"
	revision: "$Revision$"

class
	DOCUMENT_EDITOR_PREFERENCES

create
	make
	
feature {DOCUMENT_EDITOR} -- Creation
	
	make (a_editor: like editor) is
			-- Make
		require
			editor_not_void: a_editor /= Void
		do
			editor := a_editor			
		ensure
			editor_set: editor = a_editor
		end		

feature -- Access

	font: EV_FONT
			-- Font currently in use

	word_wrap_on: BOOLEAN is
			-- Is word wrapping on?
		do
			Result := editor.parent_window.wrap_menu_item.is_selected	
		end	
	
feature -- Commands

	load_font_dialog is
			-- Loaf font selection dialog
		local
			l_dialog: EV_FONT_DIALOG	
		do
			create l_dialog.make_with_title ("Choose Font")
			if font /= Void then				
				l_dialog.set_font (font)	
			end
			l_dialog.show_modal_to_window (editor.parent_window)
			if l_dialog.selected_button.is_equal ((create {EV_DIALOG_CONSTANTS}).ev_ok) then
				font := l_dialog.font
				editor.refresh
			end
		end		
		
feature {NONE} -- Implementation

	editor: DOCUMENT_EDITOR
			-- Editor

invariant
	has_editor: editor /= void

end -- class DOCUMENT_EDITOR_PREFERENCES