view clients/editor/content/gui/help.xml @ 148:72c25cc27d8b

For your convenience pools now have a function called purgeLoadedResources exposed to python which will delete all loaded resources that have a ref count of zero. You can use this after closing a map or something alike. It may however impact performance, as the next map may very well reload the same resources. Just be aware of that. :-)
author phoku@33b003aa-7bff-0310-803a-e67f0ece8222
date Sat, 11 Oct 2008 06:05:11 +0000
parents 4a0efb7baf70
children
line wrap: on
line source

<Window title="Help">
	<TextBox name="helpText"/>
	<Button name="closeButton" text="Close"/>
</Window>