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; } }