diff options
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; |