diff options
author | therzok <marius.ungureanu@xamarin.com> | 2019-07-21 21:25:59 +0300 |
---|---|---|
committer | therzok <marius.ungureanu@xamarin.com> | 2019-07-21 21:25:59 +0300 |
commit | 7bcaaa2d41a91ec2186de9e01518f83e35959954 (patch) | |
tree | 111c27f25bc4a5b6566f26cd59d3a755e92d9a9b /main/src | |
parent | 1ea68d70d46c92297bcdffabb4dac3b16192f4cf (diff) |
[Ide] Remove unused DocumentManager method
Diffstat (limited to 'main/src')
-rw-r--r-- | main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.Documents/DocumentManager.cs | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.Documents/DocumentManager.cs b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.Documents/DocumentManager.cs index 80a607ed29..9fa9964212 100644 --- a/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.Documents/DocumentManager.cs +++ b/main/src/core/MonoDevelop.Ide/MonoDevelop.Ide.Gui.Documents/DocumentManager.cs @@ -694,14 +694,6 @@ namespace MonoDevelop.Ide.Gui.Documents navigator.JumpToLine (fileInfo.Line, fileInfo.Column);*/ } - Document FindDocument (IWorkbenchWindow window) - { - foreach (Document doc in Documents) - if (doc.Window == window) - return doc; - return null; - } - void WatchDocument (Document doc) { if (doc.IsFile) { |