view tools/editor/gui/objectselector.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="Object selector" min_size="200,300">
	<VBox hexpand="1" vexpand="1">
		<!-- Search field -->
		<HBox>
			<TextField name="searchField" />
			<Button name="searchButton" text="Search" hexpand="0" /> 
		</HBox>

    <!-- Namespaces -->
		<DropDown name="namespaceDropdown" />

    <!-- Main area (object list) -->
		<ScrollArea name="mainScrollArea" min_size="150,50"/>

    <!-- Action buttons -->
		<HBox>
			<Spacer />
			<Button name="toggleModeButton" text="Toggle previewmode" />
			<Button name="closeButton" text="Close" />
		</HBox>

    <!-- Preview area -->
		<ScrollArea name="previewScrollArea" max_size="200,1" vexpand="1">
			<Icon name="previewIcon" />
		</ScrollArea>
	</VBox>
</Panel>