diff options
author | Lluis Sanchez <lluis@xamarin.com> | 2019-05-31 19:07:23 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-05-31 19:07:23 +0300 |
commit | ff5585a20802f471ba6624460fc052b6763572f0 (patch) | |
tree | ae56b9470083ae34c655df77b3c06a04ff49cd05 /main/src/addins/MonoDevelop.SourceEditor2 | |
parent | d20ec1866d249b5b3576c23454015e2d8f01f28e (diff) | |
parent | 09ea2a76d35eb46e7e0d03fcc7a46d2b9349a594 (diff) |
Merge pull request #7605 from mono/master-vsts866898
Fixes VSTS Bug 866898: Project file not reloaded in editor after
Diffstat (limited to 'main/src/addins/MonoDevelop.SourceEditor2')
-rw-r--r-- | main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/SourceEditorView.cs | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/SourceEditorView.cs b/main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/SourceEditorView.cs index 9f72d9d74d..fcebf8dd30 100644 --- a/main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/SourceEditorView.cs +++ b/main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/SourceEditorView.cs @@ -1,4 +1,4 @@ -// SourceEditorView.cs +// SourceEditorView.cs // // Author: // Mike Krüger <mkrueger@novell.com> @@ -3431,6 +3431,12 @@ namespace MonoDevelop.SourceEditor return TextEditor.GetLineHeight (line); } + void ITextEditorImpl.SetNotDirtyState () + { + TextEditor.Document.SetNotDirtyState (); + } + + public bool DeleteDynamicItem (ItemToolboxNode node) => ClipboardRingService.DeleteItem (node); public bool CanDeleteDynamicItem (ItemToolboxNode node) => ClipboardRingService.GetToolboxItems ().Contains (node); @@ -3445,7 +3451,7 @@ namespace MonoDevelop.SourceEditor public bool IsDirty { get => isDirty; - private set { + set { if (isDirty != value) { isDirty = value; DirtyChanged?.Invoke (this, EventArgs.Empty); |