Ejemplo n.º 1
0
            public TrackBackground(EnhancedScrollBar enhanchedScrollBar)
            {
                this.editor            = enhanchedScrollBar.editor;
                this.textMarkerService = enhanchedScrollBar.textMarkerService;
                this.changeWatcher     = enhanchedScrollBar.changeWatcher;

                textMarkerService.RedrawRequested += textMarkerService_RedrawRequested;
            }
Ejemplo n.º 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;
            }
Ejemplo n.º 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;
            }
Ejemplo n.º 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;
			}
Ejemplo n.º 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;
			}
Ejemplo n.º 6
0
			public TrackBackground(EnhancedScrollBar enhanchedScrollBar)
			{
				this.editor = enhanchedScrollBar.editor;
				this.textMarkerService = enhanchedScrollBar.textMarkerService;
				this.changeWatcher = enhanchedScrollBar.changeWatcher;
				
				textMarkerService.RedrawRequested += textMarkerService_RedrawRequested;
			}