本文整理汇总了C#中MonoDevelop.SourceEditor.SourceEditorWidget.UpdateLineCol方法的典型用法代码示例。如果您正苦于以下问题：C# SourceEditorWidget.UpdateLineCol方法的具体用法？C# SourceEditorWidget.UpdateLineCol怎么用？C# SourceEditorWidget.UpdateLineCol使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类MonoDevelop.SourceEditor.SourceEditorWidget的用法示例。
在下文中一共展示了SourceEditorWidget.UpdateLineCol方法的2个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C#代码示例。
示例1: SourceEditorView
public SourceEditorView ()
{
Counters.LoadedEditors++;
currentFrameChanged = (EventHandler)DispatchService.GuiDispatch (new EventHandler (OnCurrentFrameChanged));
breakpointAdded = (EventHandler<BreakpointEventArgs>)DispatchService.GuiDispatch (new EventHandler<BreakpointEventArgs> (OnBreakpointAdded));
breakpointRemoved = (EventHandler<BreakpointEventArgs>)DispatchService.GuiDispatch (new EventHandler<BreakpointEventArgs> (OnBreakpointRemoved));
breakpointStatusChanged = (EventHandler<BreakpointEventArgs>)DispatchService.GuiDispatch (new EventHandler<BreakpointEventArgs> (OnBreakpointStatusChanged));
widget = new SourceEditorWidget (this);
widget.TextEditor.Document.SyntaxModeChanged += delegate(object sender, SyntaxModeChangeEventArgs e) {
var oldProvider = e.OldMode as IQuickTaskProvider;
if (oldProvider != null)
widget.RemoveQuickTaskProvider (oldProvider);
var newProvider = e.NewMode as IQuickTaskProvider;
if (newProvider != null)
widget.AddQuickTaskProvider (newProvider);
};
widget.TextEditor.Document.TextReplaced += delegate(object sender, DocumentChangeEventArgs args) {
if (!inLoad) {
if (widget.TextEditor.Document.IsInAtomicUndo) {
wasEdited = true;
} else {
InformAutoSave ();
}
}
int startIndex = args.Offset;
int endIndex = startIndex + Math.Max (args.RemovalLength, args.InsertionLength);
if (TextChanged != null)
TextChanged (this, new TextChangedEventArgs (startIndex, endIndex));
};
widget.TextEditor.Document.LineChanged += delegate(object sender, LineEventArgs e) {
UpdateBreakpoints ();
if (messageBubbleCache != null && messageBubbleCache.RemoveLine (e.Line)) {
MessageBubbleTextMarker marker = currentErrorMarkers.FirstOrDefault (m => m.LineSegment == e.Line);
if (marker != null) {
double oldHeight = marker.lastHeight;
widget.TextEditor.TextViewMargin.RemoveCachedLine (e.Line);
// ensure that the line cache is renewed
double newHeight = marker.GetLineHeight (widget.TextEditor);
}
}
};
widget.TextEditor.Document.BeginUndo += delegate {
wasEdited = false;
};
widget.TextEditor.Document.EndUndo += delegate {
if (wasEdited)
InformAutoSave ();
};
widget.TextEditor.Document.Undone += (o, a) => AutoSave.InformAutoSaveThread (Document);
widget.TextEditor.Document.Redone += (o, a) => AutoSave.InformAutoSaveThread (Document);
widget.TextEditor.Document.TextReplacing += OnTextReplacing;
widget.TextEditor.Document.TextReplaced += OnTextReplaced;
widget.TextEditor.Document.ReadOnlyCheckDelegate = CheckReadOnly;
// widget.TextEditor.Document.DocumentUpdated += delegate {
// this.IsDirty = Document.IsDirty;
// };
widget.TextEditor.Caret.PositionChanged += delegate {
OnCaretPositionSet (EventArgs.Empty);
FireCompletionContextChanged ();
};
widget.TextEditor.IconMargin.ButtonPressed += OnIconButtonPress;
debugStackLineMarker = new DebugStackLineTextMarker (widget.TextEditor);
currentDebugLineMarker = new CurrentDebugLineTextMarker (widget.TextEditor);
this.WorkbenchWindowChanged += delegate {
if (WorkbenchWindow != null) {
widget.TextEditor.ExtensionContext = WorkbenchWindow.ExtensionContext;
WorkbenchWindow.ActiveViewContentChanged += delegate {
widget.UpdateLineCol ();
};
}
};
this.ContentNameChanged += delegate {
this.Document.FileName = this.ContentName;
if (String.IsNullOrEmpty (ContentName) || !File.Exists (ContentName))
return;
lastSaveTimeUtc = File.GetLastWriteTimeUtc (ContentName);
};
ClipbardRingUpdated += UpdateClipboardRing;
DebuggingService.DebugSessionStarted += OnDebugSessionStarted;
DebuggingService.CurrentFrameChanged += currentFrameChanged;
DebuggingService.StoppedEvent += currentFrameChanged;
DebuggingService.ResumedEvent += currentFrameChanged;
DebuggingService.Breakpoints.BreakpointAdded += breakpointAdded;
DebuggingService.Breakpoints.BreakpointRemoved += breakpointRemoved;
DebuggingService.Breakpoints.BreakpointStatusChanged += breakpointStatusChanged;
DebuggingService.Breakpoints.BreakpointModified += breakpointStatusChanged;
DebuggingService.PinnedWatches.WatchAdded += OnWatchAdded;
DebuggingService.PinnedWatches.WatchRemoved += OnWatchRemoved;
//.........这里部分代码省略.........
示例2: SourceEditorView
public SourceEditorView ()
{
Counters.LoadedEditors++;
currentFrameChanged = (EventHandler)DispatchService.GuiDispatch (new EventHandler (OnCurrentFrameChanged));
breakpointAdded = (EventHandler<BreakpointEventArgs>)DispatchService.GuiDispatch (new EventHandler<BreakpointEventArgs> (OnBreakpointAdded));
breakpointRemoved = (EventHandler<BreakpointEventArgs>)DispatchService.GuiDispatch (new EventHandler<BreakpointEventArgs> (OnBreakpointRemoved));
breakpointStatusChanged = (EventHandler<BreakpointEventArgs>)DispatchService.GuiDispatch (new EventHandler<BreakpointEventArgs> (OnBreakpointStatusChanged));
widget = new SourceEditorWidget (this);
widget.TextEditor.Document.TextReplaced += delegate(object sender, ReplaceEventArgs args) {
if (!inLoad) {
if (widget.TextEditor.Document.IsInAtomicUndo) {
wasEdited = true;
} else {
AutoSave.InformAutoSaveThread (Document);
}
}
int startIndex = args.Offset;
int endIndex = startIndex + Math.Max (args.Count, args.Value != null ? args.Value.Length : 0);
if (TextChanged != null)
TextChanged (this, new TextChangedEventArgs (startIndex, endIndex));
};
widget.TextEditor.Document.LineChanged += delegate(object sender, LineEventArgs e) {
UpdateBreakpoints ();
if (MessageBubbleTextMarker.RemoveLine (e.Line)) {
MessageBubbleTextMarker marker = currentErrorMarkers.FirstOrDefault (m => m.LineSegment == e.Line);
if (marker != null) {
double oldHeight = marker.lastHeight;
widget.TextEditor.TextViewMargin.RemoveCachedLine (e.Line); // ensure that the line cache is renewed
double newHeight = marker.GetLineHeight (widget.TextEditor);
if (oldHeight != newHeight)
widget.Document.CommitLineToEndUpdate (widget.TextEditor.Document.OffsetToLineNumber (e.Line.Offset));
}
}
};
widget.TextEditor.Document.BeginUndo += delegate {
wasEdited = false;
};
widget.TextEditor.Document.EndUndo += delegate {
if (wasEdited)
AutoSave.InformAutoSaveThread (Document);
};
widget.TextEditor.Document.Undone += (o, a) => AutoSave.InformAutoSaveThread (Document);
widget.TextEditor.Document.Redone += (o, a) => AutoSave.InformAutoSaveThread (Document);
widget.TextEditor.Document.TextReplacing += OnTextReplacing;
widget.TextEditor.Document.TextReplaced += OnTextReplaced;
widget.TextEditor.Document.ReadOnlyCheckDelegate = CheckReadOnly;
// widget.TextEditor.Document.DocumentUpdated += delegate {
// this.IsDirty = Document.IsDirty;
// };
widget.TextEditor.Caret.PositionChanged += delegate {
OnCaretPositionSet (EventArgs.Empty);
FireCompletionContextChanged ();
};
widget.TextEditor.IconMargin.ButtonPressed += OnIconButtonPress;
debugStackLineMarker = new DebugStackLineTextMarker (widget.TextEditor);
currentDebugLineMarker = new CurrentDebugLineTextMarker (widget.TextEditor);
fileSystemWatcher = new FileSystemWatcher ();
fileSystemWatcher.Created += (FileSystemEventHandler)DispatchService.GuiDispatch (new FileSystemEventHandler (OnFileChanged));
fileSystemWatcher.Changed += (FileSystemEventHandler)DispatchService.GuiDispatch (new FileSystemEventHandler (OnFileChanged));
fileChanged = DispatchService.GuiDispatch (new EventHandler<FileEventArgs> (GotFileChanged));
FileService.FileCreated += fileChanged;
FileService.FileChanged += fileChanged;
this.WorkbenchWindowChanged += delegate {
if (WorkbenchWindow != null) {
WorkbenchWindow.ActiveViewContentChanged += delegate {
widget.UpdateLineCol ();
};
}
};
this.ContentNameChanged += delegate {
this.Document.FileName = this.ContentName;
isInWrite = true;
if (String.IsNullOrEmpty (ContentName) || !File.Exists (ContentName))
return;
fileSystemWatcher.EnableRaisingEvents = false;
lastSaveTime = File.GetLastWriteTime (ContentName);
fileSystemWatcher.Path = Path.GetDirectoryName (ContentName);
fileSystemWatcher.Filter = Path.GetFileName (ContentName);
isInWrite = false;
fileSystemWatcher.EnableRaisingEvents = true;
};
ClipbardRingUpdated += UpdateClipboardRing;
DebuggingService.DebugSessionStarted += OnDebugSessionStarted;
DebuggingService.CurrentFrameChanged += currentFrameChanged;
DebuggingService.StoppedEvent += currentFrameChanged;
DebuggingService.ResumedEvent += currentFrameChanged;
DebuggingService.Breakpoints.BreakpointAdded += breakpointAdded;
//.........这里部分代码省略.........