indexing
	description: "Layout constants."
	date: "$Date$"
	revision: "$Revision$"

class
	PROPERTY_GRID_LAYOUT

inherit
	EV_DIALOG_CONSTANTS

feature {NONE} -- Button constants

	button_width: INTEGER is 75
	small_button_width: INTEGER is 20

feature {NONE} -- Margin constants

	margin_size: INTEGER is 10
	small_margin_size: INTEGER is 5

feature {NONE} -- Margin elements

	append_margin (a_box: EV_BOX) is
			-- Append a small margin to `a_box'.
		require
			a_box_not_void: a_box /= Void
		local
			cl: EV_CELL
		do
			create cl
			cl.set_minimum_size (margin_size, margin_size)
			a_box.extend (cl)
			a_box.disable_item_expand (cl)
		end

	append_small_margin (a_box: EV_BOX) is
			-- Append a small margin to `a_box'.
		require
			a_box_not_void: a_box /= Void
		local
			cl: EV_CELL
		do
			create cl
			cl.set_minimum_size (small_margin_size, small_margin_size)
			a_box.extend (cl)
			a_box.disable_item_expand (cl)
		end

feature {NONE} -- Colors

	override_color: EV_COLOR is
			-- Background color for properties that do override.
		once
			create Result.make_with_8_bit_rgb (255, 245, 245)
		end

	inherit_color: EV_COLOR is
			-- Background color for properties that are inherited.
		once
			create Result.make_with_8_bit_rgb (245, 245, 245)
		end

feature {NONE} -- Text

	force_inheritance: STRING is "Force inheritance on child elements."
	use_inherited: STRING is "Use inherited value."

	up_button_text: STRING is "Up"
	down_button_text: STRING is "Down"
	plus_button_text: STRING is "+"
	minus_button_text: STRING is "-"
	change_button_text: STRING is "Change"

	dialog_title (a_name: STRING): STRING is
		do
			Result := "Edit "+a_name
		end
end