1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

<?php
class AppZone extends GuiZone
{
	function chooseGui($guiType)
	{
		switch($guiType)
		{
			case 'main':
				$gui = new AppGui();
				break;
			
			default:
				trigger_error("unknown gui type: $guiType");
				break;
		}
		
		return $gui;
	}
	
	function closePages($p, $z)
	{
		if(!$this->displayed())
			$this->display($p[0]);
	}
	
	//	there's probably a better way to do this.  this is just to change the default for guiType
	//	we could just make NULL mean 'main' in chooseGui above
	function display($templateName, $guiType = 'main')
	{
		parent::display($templateName, $guiType);
	}
}