indexing
	description: "Focus label constants."
	date: "$Date$"
	id: "$Id$"
	revision: "$Revision$"

class 

	FOCUS_LABEL_CONSTANTS

feature

	accept_change_label: STRING is "Accept change"
	alignment_label: STRING is "Alignment"
	argument_label: STRING is "Argument"
	attribute_label: STRING is "Attribute"
	behaviour_label: STRING is "Behavior"
	bg_color_att_label: STRING is "Background color attribute"
	bg_pixmap_att_label: STRING is "Background pixmap attribute"
	button_label: STRING is "Button"
	cancel_label: STRING is "Cancel"
	catalog_label: STRING is "Catalog"
	close_label: STRING is "Close"
	colors_att_label: STRING is "Colors attribute"
	command_label: STRING is "Command"
	command_instance_label: STRING is "Command instance"
	command_type_label: STRING is "Command type"
	context_label: STRING is "Context"
	color_label: STRING is "Color"
	create_instance_label: STRING is "Create instance"
	create_edit_label: STRING is "Create/Edit"
	create_project_label: STRING is "Create project"
	current_state_label: STRING is "Current State"
	drawing_label: STRING is "Drawing commands"
	fg_color_att_label: STRING is "Foreground color attribute"
	load_project_label: STRING is "Retrieve project"
	exit_label: STRING is "Exit label"
	expand_parent_label: STRING is "Expand/Abstract parent"
	file_label: STRING is "File commands"
	font_label: STRING is "Font"
	font_att_label: STRING is "Font attribute"
	general_label: STRING is "General"
	generate_code_label: STRING is "Generate code"
	generated_commands_label: STRING is "Generated commands"
	geometry_label: STRING is "Geometry"
	grid_label: STRING is "Grid"
	group_label: STRING is "Create group"
	groups_label: STRING is "Groups"
	help_label: STRING is "Help"
	import_code_label: STRING is "Import EiffelBuild code"
	initial_state_label: STRING is "Initial state"
	list_label: STRING is "List"
	listen_label: STRING is "Listen"
	menus_label: STRING is "Menus"
	merge_label: STRING is "Merge"
	mouse_label: STRING is "Mouse"
	namer_label: STRING is "Namer"
	observer_label: STRING is "Observer"
	parent_label: STRING is "Parent"
	popup_filename_label: STRING is "Search class name"
	popup_instance_label: STRING is "Popup instances"
	popup_context_label: STRING is "Popup contexts"
	primitives_label: STRING is "Primitives"
	quit_label: STRING is "Exit application"
	raise_widget_label: STRING is "Raise widget"
	resize_policy_label: STRING is "Resize policy"
	reset_label: STRING is "Reset commands"
	return_label: STRING is "Return"
	save_project_label: STRING is "Save project"
	scale_label: STRING is "Scale"
	scroll_label: STRING is "Scroll"
	self_label: STRING is "Self"
	sets_label: STRING is "Sets"
	show_window_label: STRING is "Show/Hide window"
	state_label: STRING is "State"
	submenu_label: STRING is "Submenu"
	templates_label: STRING is "Templates"
	text_label: STRING is "Text"
	text_field_label: STRING is "Text field"
	translation_label: STRING is "Translation"
	transition_line_label: STRING is "Transition line"
	user_label: STRING is "User-defined commands"
	wastebasket_label: STRING is "Wastebasket"
	windows_label: STRING is "Windows"
	window_label: STRING is "Window commands"

end