notify the Terminal about a mouse double tap
@override void onMouseDoubleTap(Position position) { _sendPort?.send([_IsolateCommand.mouseDoubleTap, position]); }