view tools/editor/gui/layertool.xml @ 644:b84dbc4665b0

loaders extension can now handle multiple loaders for different filetypes. A difference between map and object files is now being made! Fixed a small redundancy in the guimanager. Added clearResourceLoaders() to the Pool class. This can be used if different resourceloaders have to be added at a later point in time (running editor for example, a plugin might want to have it's own loader added)
author nihathrael@33b003aa-7bff-0310-803a-e67f0ece8222
date Mon, 11 Oct 2010 22:20:00 +0000
parents 64738befdf3b
children
line wrap: on
line source

<Panel title="Layertool" position="10,200" min_size="110, 150">
	<ScrollArea horizontal_scrollbar="0">
		<VBox name="layers_wrapper">
			<!-- Content is added dynamically here -->
		</VBox>
	</ScrollArea>
	<HBox name="button_wrapper">
		<Spacer />
		<ImageButton name="add_layer_button" hexpand="0" offset="1,1" 
				helptext="Creates a new layer"
				up_image="gui/icons/add_layer.png" down_image="gui/icons/add_layer.png" hover_image="gui/icons/add_layer.png" />
		<ImageButton name="edit_layer_button" hexpand="0" offset="1,1"
				helptext="Edit selected layer"
				up_image="gui/icons/edit.png" down_image="gui/icons/edit.png" hover_image="gui/icons/edit.png" />
		<ImageButton name="remove_layer_button" hexpand="0" offset="1,1" 
				helptext="Removes selected layer"
				up_image="gui/icons/quit.png" down_image="gui/icons/quit.png" hover_image="gui/icons/quit.png" />	
	</HBox>
</Panel>