Méthode | Description | |
---|---|---|
Dispose ( ) : void | ||
GetTextDocument ( ) : ITextDocument | ||
MarginCore ( IWpfTextView textView, IClassificationFormatMapService classificationFormatMapService, IEditorFormatMapService editorFormatMapService ) : System | ||
MoveToChange ( int lineNumber ) : void |
Méthode | Description | |
---|---|---|
GetBrush ( System.Windows.ResourceDictionary properties ) : System.Windows.Media.Brush | ||
HandleFormatMappingChanged ( object sender, FormatItemsEventArgs e ) : void | ||
HandleOptionChanged ( object sender, EditorOptionChangedEventArgs e ) : void | ||
OnBrushesChanged ( |
||
UpdateBrushes ( ) : void |
public MarginCore ( IWpfTextView textView, IClassificationFormatMapService classificationFormatMapService, IEditorFormatMapService editorFormatMapService ) : System | ||
textView | IWpfTextView | |
classificationFormatMapService | IClassificationFormatMapService | |
editorFormatMapService | IEditorFormatMapService | |
Résultat | System |
public MoveToChange ( int lineNumber ) : void | ||
lineNumber | int | |
Résultat | void |