public static void Select (TextEditorData data, Action<TextEditorData> caretMoveAction) { PositionChangedHandler handler = new PositionChangedHandler (data); data.Caret.PositionChanged += handler.DataCaretPositionChanged; StartSelection (data); caretMoveAction (data); data.Caret.PositionChanged -= handler.DataCaretPositionChanged; data.Caret.AutoScrollToCaret = true; data.Caret.PreserveSelection = false; }
public static void Select(TextEditorData data, Action <TextEditorData> caretMoveAction) { PositionChangedHandler handler = new PositionChangedHandler(data); data.Caret.PositionChanged += handler.DataCaretPositionChanged; StartSelection(data); caretMoveAction(data); data.Caret.PositionChanged -= handler.DataCaretPositionChanged; data.Caret.AutoScrollToCaret = true; data.Caret.PreserveSelection = false; }
public static void Select(TextEditorData data, Action <TextEditorData> caretMoveAction) { data?.Parent?.CommitPreedit(); using (var undoGroup = data.OpenUndoGroup()) { PositionChangedHandler handler = new PositionChangedHandler(data); data.Caret.PositionChanged += handler.DataCaretPositionChanged; StartSelection(data); caretMoveAction(data); data.Caret.PositionChanged -= handler.DataCaretPositionChanged; data.Caret.AutoScrollToCaret = true; data.Caret.PreserveSelection = false; data.ScrollToCaret(); } }
float acc = 50f; //images/second^2 public AcceleratedAnimator (Filmstrip filmstrip, PositionChangedHandler handler) { this.handler = handler; this.filmstrip = filmstrip; }
public ConstantSpeedAnimator (Filmstrip filmstrip, PositionChangedHandler handler) { this.handler = handler; this.filmstrip = filmstrip; }
public DirectAnimator (PositionChangedHandler handler) { this.handler = handler; }
float acc = 50f; //images/second^2 public AcceleratedAnimator(Filmstrip filmstrip, PositionChangedHandler handler) { this.handler = handler; this.filmstrip = filmstrip; }
public ConstantSpeedAnimator(Filmstrip filmstrip, PositionChangedHandler handler) { this.handler = handler; this.filmstrip = filmstrip; }
public DirectAnimator(PositionChangedHandler handler) { this.handler = handler; }