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