event.y -= topMargin;
void handleMouseDoubleClick(Event event) {	if (event.button != 1 || !doubleClickEnabled) {		return;	}	event.y -= topMargin;	mouseDoubleClick = true;	caretOffset = getWordStart(caretOffset);	resetSelection();	caretOffset = getWordEndNoSpaces(caretOffset);	showCaret();	doMouseSelection();	doubleClickSelection = new Point(selection.x, selection.y);}