private void handle_KeyPress(object sender, KeyPressEventArgs e)
{
ExpressionString.TextElement elem = _Expression.TextElementOnCharPosition(SelectionStart);
if (elem is ExpressionString.BaseNodeElement)
{
e.Handled = true;
}
}
private void handle_KeyDown(object sender, KeyEventArgs e)
{
if (e.KeyCode == Keys.Back || e.KeyCode == Keys.Delete)
{
ExpressionString.TextElement elem = _Expression.TextElementOnCharPosition(SelectionStart);
if (elem is ExpressionString.BaseNodeElement)
{
e.Handled = true;
}
}
}
private void handle_DragOver(object sender, DragEventArgs e)
{
Point insertPoint = PointToClient(new Point(e.X, e.Y));
int index = GetCharIndexFromPosition(insertPoint);
ExpressionString.TextElement elem = _Expression.TextElementOnCharPosition(index);
if (getTreeNodeFromDragEventArgs(e) != null &&
(elem == null ||
!(elem is ExpressionString.BaseNodeElement)))
{
e.Effect = DragDropEffects.Copy;
}
}
