//=====================================================================================
//===
//=== Editor's tooltip manager class
//===
//=====================================================================================

ker.include('editor/tooltip.js');

var tipMan = null;

//=====================================================================================

function initToolTips()
{
	tipMan = new TooltipManager();
	
	//--- waits for all files to be loaded
	ker.loadMan.wait(tipMan);
}

//=====================================================================================

function TooltipManager() 
{
	var loader = new XMLLoader(Env.locUrl +'/xml/editor.xml');
	var tips = new Array();

	//--- public methods

	this.init = init;
	this.deinit = deinit;

//=====================================================================================
//===
//=== API methods
//===
//=====================================================================================

function init() 
{
	var list = document.getElementsByTagName('SPAN');
	var ntips = 0;
	
	for (var i=0; i<list.length; i++)
	{
		var id = list[i].getAttribute('id');
		
		if (id && id.startsWith('tip.'))
			tips[ntips++] = new Tooltip(loader, list[i]);
	}
}

function deinit() 
{
	for (var i=0; i<tips.length; i++)
	{
		tips[i].stop();
	}
}

//=====================================================================================
}
