diff options
author | Mike Krüger <mkrueger@xamarin.com> | 2016-07-29 13:01:17 +0300 |
---|---|---|
committer | Mike Krüger <mkrueger@xamarin.com> | 2016-07-29 13:01:17 +0300 |
commit | a6fa061869b666b993014dd222276b9eb2e6800d (patch) | |
tree | 158518d971adbeb39d354a5227378b60197b1320 /main/src/addins | |
parent | e880e2b9ec671e3f17b0be341271efaa4020bd34 (diff) |
Fixed 'Bug 41727 - Document Outline Pad - When document outline pad is
floating and and item is clicked the caret is not moved to item on
text editor'
Diffstat (limited to 'main/src/addins')
-rw-r--r-- | main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/SourceEditorView.cs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/SourceEditorView.cs b/main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/SourceEditorView.cs index e30eabae83..65e6d4baf1 100644 --- a/main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/SourceEditorView.cs +++ b/main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/SourceEditorView.cs @@ -3543,6 +3543,9 @@ namespace MonoDevelop.SourceEditor void ITextEditorImpl.GrabFocus () { + var topLevelWindow = this.TextEditor.Toplevel as Gtk.Window; + if (topLevelWindow != null) + topLevelWindow.Present (); this.TextEditor.GrabFocus (); } |