view tools/editor/gui/error.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 name="errorWindow" title="Error" min_size="300, 100">
	<ScrollArea>
		<Label name="message" text="Error:" wrap_text="1" vexpand="1"/>
	</ScrollArea>
	<Button name="okButton" text="OK"/>
</Panel>