view tools/editor/gui/selection.xml @ 459:302a69c5141d

Player death is now handled a bit nicer. Added invulnerability. Added 3 more enemy types. Fixed a bug in the collision detection routine that caused some objects not to be updated when a collision is detected.
author prock@33b003aa-7bff-0310-803a-e67f0ece8222
date Fri, 09 Apr 2010 17:35:52 +0000
parents 64738befdf3b
children
line wrap: on
line source

<Panel title="Select an option">
	<VBox>
		<ScrollArea min_size="150,300">
			<ListBox name="optionDrop"/>	
		</ScrollArea>
		<HBox>
			<Button name="okButton" text="OK"/>
			<Button name="cancelButton" text="Cancel"/>
		</HBox>
	</VBox>
</Panel>