Пример #1
0
            public TrackBackground(EnhancedScrollBar enhanchedScrollBar)
            {
                this.editor            = enhanchedScrollBar.editor;
                this.textMarkerService = enhanchedScrollBar.textMarkerService;
                this.changeWatcher     = enhanchedScrollBar.changeWatcher;

                textMarkerService.RedrawRequested += textMarkerService_RedrawRequested;
            }
Пример #2
0
            public TrackAdorner(EnhancedScrollBar enhanchedScrollBar)
            {
                this.editor            = enhanchedScrollBar.editor;
                this.textMarkerService = enhanchedScrollBar.textMarkerService;

                this.Cursor  = Cursors.Hand;
                this.ToolTip = string.Empty;

                textMarkerService.RedrawRequested += textMarkerService_RedrawRequested;
            }
Пример #3
0
            public TrackAdorner(EnhancedScrollBar enhanchedScrollBar, Grid trackGrid)
                : base(trackGrid)
            {
                this.editor            = enhanchedScrollBar.editor;
                this.textMarkerService = enhanchedScrollBar.textMarkerService;

                this.Cursor  = Cursors.Hand;
                this.ToolTip = string.Empty;

                textMarkerService.RedrawRequested           += RedrawRequested;
                editor.TextArea.TextView.VisualLinesChanged += VisualLinesChanged;
            }
Пример #4
0
			public TrackAdorner(EnhancedScrollBar enhanchedScrollBar, Grid trackGrid)
				: base(trackGrid)
			{
				this.editor = enhanchedScrollBar.editor;
				this.textMarkerService = enhanchedScrollBar.textMarkerService;
				
				this.Cursor = Cursors.Hand;
				this.ToolTip = string.Empty;
				
				textMarkerService.RedrawRequested += RedrawRequested;
				editor.TextArea.TextView.VisualLinesChanged += VisualLinesChanged;
			}
Пример #5
0
			public TrackAdorner(EnhancedScrollBar enhanchedScrollBar)
			{
				this.editor = enhanchedScrollBar.editor;
				this.textMarkerService = enhanchedScrollBar.textMarkerService;
				
				this.Cursor = Cursors.Hand;
				this.ToolTip = string.Empty;
				
				textMarkerService.RedrawRequested += textMarkerService_RedrawRequested;
			}
Пример #6
0
			public TrackBackground(EnhancedScrollBar enhanchedScrollBar)
			{
				this.editor = enhanchedScrollBar.editor;
				this.textMarkerService = enhanchedScrollBar.textMarkerService;
				this.changeWatcher = enhanchedScrollBar.changeWatcher;
				
				textMarkerService.RedrawRequested += textMarkerService_RedrawRequested;
			}