// settings
var mouseTimeout = 200;

// Other stuff
var mouseTimer = null;
var inputHistory = new Array();
var historyPointer = -1;

document.onmousedown = catchMouseDown;
document.onmouseup = catchMouseUp;

var eEntry = document.getElementById('entry');
eEntry.focus();
eEntry.onkeydown = navHistory;
eEntry.setAttribute('autocomplete', 'off'); // defined here for sake of XHTML standard

var eForm = document.getElementById('inputForm');
eForm.onsubmit = doSubmit;