view tools/editor/gui/input.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

<Window name="Input" title="Input box:">
	<VBox>
		<Label name="prompt" text="Enter your data:"/>
		<TextField name="inputBox"/>	
		<HBox>
			<Button name="okButton" text="OK"/>
			<Button name="cancelButton" text="Cancel"/>
		</HBox>
	</VBox>
</Window>