void UpdateWidth (object sender, LineEventArgs args)
{
int currentLineCountLog10 = (int)System.Math.Log10 (editor.Document.LineCount);
if (oldLineCountLog10 != currentLineCountLog10) {
CalculateWidth ();
oldLineCountLog10 = currentLineCountLog10;
editor.Document.CommitUpdateAll ();
}
}
protected virtual void OnLineRemoved(LineEventArgs e)
{
EventHandler <LineEventArgs> handler = LineRemoved;
if (handler != null)
{
handler(this, e);
}
}
void Document_LineChanged(object sender, Mono.TextEditor.LineEventArgs e)
{
var handler = LineChanged;
if (handler != null)
{
handler(this, new MonoDevelop.Ide.Editor.LineEventArgs(new DocumentLineWrapper(e.Line)));
}
}
void HandleLineInserted (object sender, LineEventArgs e)
{
if (lineStates == null)
return;
try {
lineStates.Insert(e.Line.LineNumber, new LineChangeInfo (Mono.TextEditor.TextDocument.LineState.Dirty));
} catch (Exception ex) {
Console.WriteLine ("error while DiffTracker.HandleLineInserted:" + ex);
}
}
void UpdateWidth(object sender, LineEventArgs args)
{
int currentLineCountLog10 = (int)System.Math.Log10(LineCountMax);
if (oldLineCountLog10 != currentLineCountLog10)
{
CalculateWidth();
oldLineCountLog10 = currentLineCountLog10;
editor.Document.CommitUpdateAll();
}
}
void HandleLineRemoved (object sender, LineEventArgs e)
{
if (lineStates == null)
return;
try {
lineStates.RemoveAt (e.LineNumber);
} catch (Exception ex) {
Console.WriteLine ("error while DiffTracker.HandleLineRemoved:" + ex);
}
}
void HandleLineRemoved(object sender, LineEventArgs e)
{
if (lineStates == null)
{
return;
}
try {
lineStates.RemoveAt(e.LineNumber);
} catch (Exception ex) {
Console.WriteLine("error while DiffTracker.HandleLineRemoved:" + ex);
}
}
void HandleLineInserted(object sender, LineEventArgs e)
{
if (lineStates == null)
{
return;
}
try {
lineStates.Insert(e.Line.LineNumber, new LineChangeInfo(Mono.TextEditor.TextDocument.LineState.Dirty));
} catch (Exception ex) {
Console.WriteLine("error while DiffTracker.HandleLineInserted:" + ex);
}
}
void HandleLineChanged(object sender, LineEventArgs e)
{
var lineNumber = e.Line.LineNumber;
try {
if (lineStates [lineNumber].state == Mono.TextEditor.TextDocument.LineState.Dirty)
{
return;
}
lineStates [lineNumber] = new LineChangeInfo(Mono.TextEditor.TextDocument.LineState.Dirty);
if (trackDocument != null)
{
trackDocument.CommitLineUpdate(lineNumber);
}
} catch (Exception ex) {
Console.WriteLine("error while DiffTracker.HandleLineChanged:" + ex);
}
}
void HandleLineChanged (object sender, LineEventArgs e)
{
UpdateBreakpoints ();
UpdateWidgetPositions ();
if (messageBubbleCache != null && messageBubbleCache.RemoveLine (e.Line)) {
MessageBubbleTextMarker marker = currentErrorMarkers.FirstOrDefault (m => m.LineSegment == e.Line);
if (marker != null) {
widget.TextEditor.TextViewMargin.RemoveCachedLine (e.Line);
// ensure that the line cache is renewed
marker.GetLineHeight (widget.TextEditor);
}
}
}
protected virtual void OnHoveredLineChanged (LineEventArgs e)
{
EventHandler<LineEventArgs> handler = this.HoveredLineChanged;
if (handler != null)
handler (this, e);
}
void HandleLineRemoved(object sender, LineEventArgs e)
{
RemoveLine(e.Line.LineNumber);
}
void HandleDocumentsplitterhandleLineInserted (object sender, LineEventArgs e)
{
heightTree.InsertLine (OffsetToLineNumber (e.Line.Offset));
}
void SplitterLineSegmentTreeLineChanged (object sender, LineEventArgs e)
{
if (LineChanged != null)
LineChanged (this, e);
}
void HandleDocLineChanged(object sender, LineEventArgs e)
{
e.Line.WasChanged = true;
}
protected virtual void OnLineInserted (LineEventArgs e)
{
EventHandler<LineEventArgs> handler = this.LineInserted;
if (handler != null)
handler (this, e);
}
void HandleLineChanged (object sender, LineEventArgs e)
{
var lineNumber = e.Line.LineNumber;
try {
if (lineStates [lineNumber].state == Mono.TextEditor.TextDocument.LineState.Dirty)
return;
lineStates [lineNumber] = new LineChangeInfo (Mono.TextEditor.TextDocument.LineState.Dirty);
if (trackDocument != null)
trackDocument.CommitLineUpdate (lineNumber);
} catch (Exception ex) {
Console.WriteLine ("error while DiffTracker.HandleLineChanged:" + ex);
}
}
void HandleDocumentsplitterhandleLineInserted(object sender, LineEventArgs e)
{
heightTree.InsertLine(OffsetToLineNumber(e.Line.Offset));
}
void HandleDocLineChanged (object sender, LineEventArgs e)
{
if (line == e.Line)
doc.RemoveMarker (this);
}
public void TextViewMargin_HoveredLineChanged(object sender, Mono.TextEditor.LineEventArgs e)
{
editor.GetTextEditorData().Document.CommitLineUpdate(lineSegment);
editor.TextViewMargin.HoveredLineChanged -= TextViewMargin_HoveredLineChanged;
}
protected virtual void OnLineRemoved (LineEventArgs e)
{
EventHandler<LineEventArgs> handler = LineRemoved;
if (handler != null)
handler (this, e);
}
void HandleLineInserted (object sender, LineEventArgs e)
{
InsertLine (editor.OffsetToLineNumber (e.Line.Offset));
}
void HandleSplitterLineSegmentTreeLineRemoved (object sender, LineEventArgs e)
{
foreach (TextLineMarker marker in e.Line.Markers) {
if (marker is IExtendingTextLineMarker) {
lock (extendingTextMarkers) {
HeightChanged = true;
extendingTextMarkers.Remove (marker);
}
UnRegisterVirtualTextMarker ((IExtendingTextLineMarker)marker);
}
}
}
void HandleLineRemoved (object sender, LineEventArgs e)
{
RemoveLine (editor.OffsetToLineNumber (e.Line.Offset));
}
void HandleDocLineChanged (object sender, LineEventArgs e)
{
e.Line.WasChanged = true;
}
void HandleLineRemoved (object sender, LineEventArgs e)
{
Rebuild ();
OnLineUpdateFrom (new HeightChangedEventArgs (e.Line.LineNumber - 1));
//RemoveLine (e.Line.LineNumber);
}
void HandleLineInserted(object sender, LineEventArgs e)
{
InsertLine(e.Line.LineNumber);
}
void HandleLineRemoved(object sender, LineEventArgs e)
{
Rebuild();
OnLineUpdateFrom(new HeightChangedEventArgs(e.Line.LineNumber - 1));
//RemoveLine (e.Line.LineNumber);
}
void TextEditorDocumentLineChanged (object sender, LineEventArgs e)
{
RemoveCachedLine (e.Line);
}
/// <summary>
/// Marks a line as locally modified
/// </summary>
private void EditorDocumentLineChanged (object sender, LineEventArgs e)
{
int startLine = editor.Document.OffsetToLineNumber (e.Line.Offset),
endLine = editor.Document.OffsetToLineNumber (e.Line.EndOffset);
if (startLine == endLine) {
SetAnnotation (startLine, locallyModified);
}
for (int i=startLine; i<endLine; ++i) {
SetAnnotation (i, locallyModified);
}
}
void HandleLineInserted (object sender, LineEventArgs e)
{
InsertLine (e.Line.LineNumber);
}
protected virtual void OnLineInserted (LineEventArgs e)
{
if (inInit)
return;
EventHandler<LineEventArgs> handler = LineInserted;
if (handler != null)
handler (this, e);
}
/// <summary>
/// Marks a line as locally modified
/// </summary>
private void EditorDocumentLineChanged (object sender, LineEventArgs e)
{
int startLine = widget.Editor.Document.OffsetToLineNumber (e.Line.Offset);
SetAnnotation (startLine, locallyModified);
}
void HandleLineRemoved (object sender, LineEventArgs e)
{
RemoveLine (e.Line.LineNumber);
}
