EndSelect() public method

public EndSelect ( ) : void
return void
コード例 #1
0
 public override void InvokeUndo(InternalTextLayerController textMan)
 {
     textMan.CurrentLineNumber = startLineNumber;
     textMan.CharIndex         = startCharIndex;
     textMan.StartSelect();
     textMan.CurrentLineNumber = endLineNumber;
     textMan.CharIndex         = endCharIndex;
     textMan.EndSelect();
 }
コード例 #2
0
 public override void InvokeUndo(InternalTextLayerController textLayer)
 {
     textLayer.CurrentLineNumber = startLineNumber;
     textLayer.TryMoveCaretTo(startCharIndex);
     textLayer.StartSelect();
     textLayer.CurrentLineNumber = endLineNumber;
     textLayer.TryMoveCaretTo(endCharIndex);
     textLayer.EndSelect();
 }
コード例 #3
0
 public override void InvokeRedo(InternalTextLayerController textdom)
 {
     textdom.CurrentLineNumber = startLineNumber;
     textdom.CharIndex         = startCharIndex;
     textdom.StartSelect();
     textdom.CurrentLineNumber = endLineNumber;
     textdom.CharIndex         = endCharIndex;
     textdom.EndSelect();
     textdom.DoDelete();
 }
コード例 #4
0
        public void DoHome(bool pressShitKey)
        {
            if (!pressShitKey)
            {
                internalTextLayerController.DoHome();
                internalTextLayerController.CancelSelect();
            }
            else
            {
                internalTextLayerController.StartSelectIfNoSelection();
                internalTextLayerController.DoHome();
                internalTextLayerController.EndSelect();
            }

            EnsureCaretVisible();
        }
コード例 #5
0
 public override void InvokeUndo(InternalTextLayerController textMan)
 {
     textMan.CurrentLineNumber = startLineNumber;
     textMan.CharIndex = startCharIndex;
     textMan.StartSelect();
     textMan.CurrentLineNumber = endLineNumber;
     textMan.CharIndex = endCharIndex;
     textMan.EndSelect();
 }
コード例 #6
0
 public override void InvokeRedo(InternalTextLayerController textdom)
 {
     textdom.CurrentLineNumber = startLineNumber;
     textdom.CharIndex = startCharIndex;
     textdom.StartSelect();
     textdom.CurrentLineNumber = endLineNumber;
     textdom.CharIndex = endCharIndex;
     textdom.EndSelect();
     textdom.DoDelete();
 }