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