diff options
author | Mike Krüger <mkrueger@xamarin.com> | 2014-07-08 16:36:18 +0400 |
---|---|---|
committer | Mike Krüger <mkrueger@xamarin.com> | 2014-07-08 16:36:18 +0400 |
commit | d8a81a190a07b668f1e267c7f9af8e0daafc5bbd (patch) | |
tree | 83437faf3600d12f7a3551ea58e09e3bdd25a5a8 /main/src/addins/MonoDevelop.Gettext/MonoDevelop.Gettext.Editor/POEditorWidget.cs | |
parent | 2e84f9521a5ab4ff91b27eff4a479bc1a88adfca (diff) |
[SourceEditor] Updated source editor to use the new option model.
That was a big change because the source editor contained too much
responsibility for managing the editor options. But now the
TextEditorViewContent does the update handling.
Diffstat (limited to 'main/src/addins/MonoDevelop.Gettext/MonoDevelop.Gettext.Editor/POEditorWidget.cs')
-rw-r--r-- | main/src/addins/MonoDevelop.Gettext/MonoDevelop.Gettext.Editor/POEditorWidget.cs | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/main/src/addins/MonoDevelop.Gettext/MonoDevelop.Gettext.Editor/POEditorWidget.cs b/main/src/addins/MonoDevelop.Gettext/MonoDevelop.Gettext.Editor/POEditorWidget.cs index 46d9b7bd89..768616fc0e 100644 --- a/main/src/addins/MonoDevelop.Gettext/MonoDevelop.Gettext.Editor/POEditorWidget.cs +++ b/main/src/addins/MonoDevelop.Gettext/MonoDevelop.Gettext.Editor/POEditorWidget.cs @@ -246,12 +246,8 @@ namespace MonoDevelop.Gettext this.scrolledwindowPlural.Child.Show (); scrolledwindowOriginal.Child.ModifyBase (Gtk.StateType.Normal, Style.Base (Gtk.StateType.Insensitive)); scrolledwindowPlural.Child.ModifyBase (Gtk.StateType.Normal, Style.Base (Gtk.StateType.Insensitive)); - this.texteditorOriginal.Options.ShowLineNumberMargin = false; - this.texteditorOriginal.Options.ShowFoldMargin = false; - this.texteditorOriginal.Options.ShowIconMargin = false; - this.texteditorPlural.Options.ShowLineNumberMargin = false; - this.texteditorPlural.Options.ShowFoldMargin = false; - this.texteditorPlural.Options.ShowIconMargin = false; + this.texteditorOriginal.Options = DefaultSourceEditorOptions.PlainEditor; + this.texteditorPlural.Options = DefaultSourceEditorOptions.PlainEditor; this.texteditorOriginal.IsReadOnly = true; this.texteditorPlural.IsReadOnly = true; } |