Differential D761 Diff 3156 binaries/data/mods/mod/gui/gui.rnc

Changeset View

Standalone View

	Show First 20 Lines • Show All 196 Lines • ▼ Show 20 Lines

	##			##
	# Setup #			# Setup #
	##			##
	setup = element setup { (icon \| scrollbar \| tooltip \| color)* }			setup = element setup { (icon \| scrollbar \| tooltip \| color)* }
	scrollbar =			scrollbar =
	element scrollbar {			element scrollbar {
	attribute name { text }&			attribute name { text }&
	attribute width { xsd:decimal }&			attribute breadth { xsd:decimal }&
	attribute alwaysshown { bool }?&			attribute alwaysshown { bool }?&
	attribute maximum_bar_size { xsd:decimal }?&			attribute maximum_bar_size { xsd:decimal }?&
	attribute minimum_bar_size { xsd:decimal }?&			attribute minimum_bar_size { xsd:decimal }?&
	attribute scroll_wheel { bool }?&			attribute scroll_wheel { bool }?&
	attribute show_edge_buttons { bool }?&			attribute show_edge_buttons { bool }?&
	attribute sprite_button_top { text }?&			attribute sprite_button_top { text }?&
	attribute sprite_button_top_pressed { text }?&			attribute sprite_button_top_pressed { text }?&
	attribute sprite_button_top_disabled { text }?&			attribute sprite_button_top_disabled { text }?&
	▲ Show 20 Lines • Show All 70 Lines • Show Last 20 Lines