diff options
author | Lluis Sanchez Gual <lluis@xamarin.com> | 2015-04-20 19:07:51 +0300 |
---|---|---|
committer | Lluis Sanchez Gual <lluis@xamarin.com> | 2015-04-20 19:07:51 +0300 |
commit | 95408b1a41b31b645f3a8c3323ab7d3ca4bff26b (patch) | |
tree | f8f137cddcb9a40499d303be95722fd2c6081bce /main/src/core/Mono.Texteditor/Mono.TextEditor/Gui/GutterMargin.cs | |
parent | b70e4e04b4e41b8ec28d7e4b220b401ecf467e7a (diff) | |
parent | de043d330a8bf5855d4d983c804cd36727cb2406 (diff) |
Merge remote-tracking branch 'origin/roslyn' into new-project-model
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; |