// Interface code for display 
docID = ""; 
var file = "";
var selected;
var selectedBib;
var thisDoc;

function disp (name, toggle) {
	object = document.getElementById(name);
	if (toggle) { object.style.display="block";
	} else if (!toggle) { object.style.display="none"; }
}


function callwindow(win) {
	disp("window_grey", 1);
	disp("window_"+win, 1);
	loadWinContents(win);
}

function closewindow(win) {
	disp("window_grey", 0);
	disp("window_"+win, 0);
	if (enterListener) {
		enterListener.disable();
	}
//	mode="tagging";
}

function loadWinContents(win){
	if (win == "open") {
		//showDocList('open');
	}
	
	if (win == "save") {
		//showDocList('save');
	}
	if (win == "new") {
	
	
	}
}