public override void onMouseDoubleClick(object sender, MouseButtonEventArgs e)
{
doubleClicked = true;
base.onMouseDoubleClick(sender, e);
buffer.GotoWordStart();
buffer.SetSelStartPos();
buffer.GotoWordEnd();
buffer.SetSelEndPos();
}
