function KeyHandler(formHolder, documentGenerator) {
	this.formHolder = formHolder;
	this.documentGenerator = documentGenerator;
}

/**
 * keydown handler for the_body. Handles shortcuts to next page
 * (ctrl+right), previous page (ctrl+left) and document generation (F9). 
 */
KeyHandler.prototype.handleKey = function(event) {
	if (event.ctrlKey && !event.shiftKey) {
		var target = event.target != null ? event.target : event.srcElement;
		if (event.keyCode == 37) { // ctrl-left
			this.formHolder.gotoPrevPage(target);
		} else 	if (event.keyCode == 39) { // ctrl-right
			this.formHolder.gotoNextPage(target);
		} else if (event.keyCode == 83) { // ctrl-S
			//this.fileSaver.saveFile();
		} else if (event.keyCode == 79) { // ctrl-O
			//this.fileOpener.openFile();
		//} else { alert(event.keyCode);
		}
	} else if (event.keyCode == 113) { // F2
		//this.formClearer.newFile();
	} else if (event.keyCode == 120) { // F9
		this.documentGenerator.generate();
	}
}