/stationary/basic/extend/AppZone.php

 1<?php
 2class AppZone extends GuiZone
 3{
 4	function chooseGui($guiType)
 5	{
 6		switch($guiType)
 7		{
 8			case 'main':
 9				$gui = new AppGui();
10				break;
11			
12			default:
13				trigger_error("unknown gui type: $guiType");
14				break;
15		}
16		
17		return $gui;
18	}
19	
20	function closePages($p, $z)
21	{
22		if(!$this->displayed())
23			$this->display($p[0]);
24	}
25	
26	//	there's probably a better way to do this.  this is just to change the default for guiType
27	//	we could just make NULL mean 'main' in chooseGui above
28	function display($templateName, $guiType = 'main')
29	{
30		parent::display($templateName, $guiType);
31	}
32}