상속: Mono.TextEditor.UnderlineMarker
예제 #1
0
		void UnderLineError (Document doc, Error info)
		{
			var line = doc.GetLine (info.Region.BeginLine);
			// If the line is already underlined
			if (errors.Any (em => em.LineSegment == line))
				return;
			ErrorMarker error = new ErrorMarker (textEditor.Document, info, line);
			errors.Add (error);
			doc.AddMarker (line, error);
		}
예제 #2
0
		void UnderLineError (Error info)
		{
			if (this.isDisposed)
				return;
			// Adjust the line to Gtk line representation
//			info.Line -= 1;
			
			// If the line is already underlined
			if (errors.ContainsKey (info.Region.Start.Line))
				return;
			
			LineSegment line = this.TextEditor.Document.GetLine (info.Region.Start.Line);
			ErrorMarker error = new ErrorMarker (info, line);
			errors [info.Region.Start.Line] = error;
			error.AddToLine (this.TextEditor.Document);
		}