Method | Description | |
---|---|---|
ConvertFromWin32Color ( uint color ) : Color | ||
CoverageMargin ( IWpfTextView textView, IEditorFormatMap formatMap ) : System |
Creates a CoverageMargin for a given IWpfTextView.
|
|
Dispose ( ) : void | ||
GetTextViewMargin ( string marginName ) : ITextViewMargin |
Method | Description | |
---|---|---|
DrawLineNumbers ( ) : void | ||
GetColors ( ) : void | ||
GetCoverage ( string fname, int line, int data, int cnt, float &covPercent ) : bool | ||
GetCoverageData ( string fname, int line, int data, int cnt, float &covPercent ) : bool | ||
GetMarginWidth ( System.Windows.Media.Typeface fontTypeFace, double fontSize ) : double | ||
OnFormatMappingChanged ( ) : void | ||
OnLayoutChanged ( object sender, TextViewLayoutChangedEventArgs e ) : void | ||
ThrowIfDisposed ( ) : void | ||
toBrush ( object obj ) : |
public static ConvertFromWin32Color ( uint color ) : Color | ||
color | uint | |
return | Color |
public CoverageMargin ( IWpfTextView textView, IEditorFormatMap formatMap ) : System | ||
textView | IWpfTextView | The |
formatMap | IEditorFormatMap | |
return | System |
public GetTextViewMargin ( string marginName ) : ITextViewMargin | ||
marginName | string | |
return | ITextViewMargin |