diff options
Diffstat (limited to 'main/src/core/Mono.Texteditor/Mono.TextEditor/Gui/GutterMargin.cs')
| -rw-r--r-- | main/src/core/Mono.Texteditor/Mono.TextEditor/Gui/GutterMargin.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/main/src/core/Mono.Texteditor/Mono.TextEditor/Gui/GutterMargin.cs b/main/src/core/Mono.Texteditor/Mono.TextEditor/Gui/GutterMargin.cs index 1428c3fc0c..8c69267e8b 100644 --- a/main/src/core/Mono.Texteditor/Mono.TextEditor/Gui/GutterMargin.cs +++ b/main/src/core/Mono.Texteditor/Mono.TextEditor/Gui/GutterMargin.cs @@ -34,13 +34,13 @@ namespace Mono.TextEditor { public class GutterMargin : Margin { - TextEditor editor; + MonoTextEditor editor; int width; int oldLineCountLog10 = -1; double fontHeight; - public GutterMargin (TextEditor editor) + public GutterMargin (MonoTextEditor editor) { this.editor = editor; |