Exemple #1
0
        //ちょっと汚いフラグ
        //private bool _disabledTemporary;

        public TextSelection(CharacterDocumentViewer owner)
        {
            _owner               = owner;
            _forwardPivot        = new TextPoint();
            _backwardPivot       = new TextPoint();
            _forwardDestination  = new TextPoint();
            _backwardDestination = new TextPoint();
            _listeners           = new List <ISelectionListener>();
        }
Exemple #2
0
 //������Ɖ����t���O
 //private bool _disabledTemporary;
 public TextSelection(CharacterDocumentViewer owner)
 {
     _owner = owner;
     _forwardPivot = new TextPoint();
     _backwardPivot = new TextPoint();
     _forwardDestination = new TextPoint();
     _backwardDestination = new TextPoint();
     _listeners = new List<ISelectionListener>();
 }
Exemple #3
0
            public CharacterDocumentViewerContainer(CharacterDocument doc) {
                _viewer = new CharacterDocumentViewer();
                _viewer.SetContent(doc, GEnv.DefaultRenderProfile);
                _viewer.Dock = DockStyle.Fill;

                _caretTimer = new System.Windows.Forms.Timer();
                _caretTimer.Interval = Win32.GetCaretBlinkTime();
                _caretTimer.Tick += new EventHandler(this.OnCaretTimer);
                _caretTimer.Start();

                this.Controls.Add(_viewer);
                this.Size = new Size(300, 300);
            }
 public TextSelectionUIHandler(CharacterDocumentViewer v)
     : base("textselection")
 {
     _viewer = v;
 }
 public TextSelectionUIHandler(CharacterDocumentViewer v)
     : base("textselection") {
     _viewer = v;
 }
Exemple #6
0
 public ViewBridge() {
     _viewer = new CharacterDocumentViewer(); //セッション固有コントロールとする
     _viewer.SetPrivateRenderProfile(TerminalEmulatorPlugin.Instance.TerminalEmulatorOptions.CreateRenderProfile());
 }