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/Margin.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/Margin.cs')
-rw-r--r-- | main/src/core/Mono.Texteditor/Mono.TextEditor/Gui/Margin.cs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/main/src/core/Mono.Texteditor/Mono.TextEditor/Gui/Margin.cs b/main/src/core/Mono.Texteditor/Mono.TextEditor/Gui/Margin.cs index 9a132f34ee..fdd570e2c3 100644 --- a/main/src/core/Mono.Texteditor/Mono.TextEditor/Gui/Margin.cs +++ b/main/src/core/Mono.Texteditor/Mono.TextEditor/Gui/Margin.cs @@ -182,18 +182,18 @@ namespace Mono.TextEditor } } - public TextEditor Editor { + public MonoTextEditor Editor { get; private set; } - public MarginMouseEventArgs (TextEditor editor, Gdk.Event raw, uint button, double x, double y, Gdk.ModifierType modifierState) + public MarginMouseEventArgs (MonoTextEditor editor, Gdk.Event raw, uint button, double x, double y, Gdk.ModifierType modifierState) : this (editor, raw.Type, button, x, y, modifierState) { this.RawEvent = raw; } - public MarginMouseEventArgs (TextEditor editor, Gdk.EventType type, uint button, double x, double y, Gdk.ModifierType modifierState) + public MarginMouseEventArgs (MonoTextEditor editor, Gdk.EventType type, uint button, double x, double y, Gdk.ModifierType modifierState) { this.Editor = editor; this.Type = type; |