diff options
| author | jp <jp_bruyere@hotmail.com> | 2015-03-30 17:44:35 +0300 |
|---|---|---|
| committer | jp <jp_bruyere@hotmail.com> | 2015-03-30 17:44:35 +0300 |
| commit | f8a6604cf52400dfd3cac8c3d61294c485f5c373 (patch) | |
| tree | 041213f38ce8c9499b1a7cf0a462d5ff840c5f24 /main/src/addins/MonoDevelop.SourceEditor2 | |
| parent | ef8590234fc8e7a1592d8f2e3e55f38346d4f08b (diff) | |
[ide] Fix PinnedWatch displacement bug.
PinnedWatchWidget's are children of TextArea, not ExtensibleTextEditor.
Diffstat (limited to 'main/src/addins/MonoDevelop.SourceEditor2')
| -rw-r--r-- | main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/SourceEditorView.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/SourceEditorView.cs b/main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/SourceEditorView.cs index cc124f60dc..10a5faa7ee 100644 --- a/main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/SourceEditorView.cs +++ b/main/src/addins/MonoDevelop.SourceEditor2/MonoDevelop.SourceEditor/SourceEditorView.cs @@ -1272,7 +1272,7 @@ namespace MonoDevelop.SourceEditor foreach (PinnedWatchInfo wi in pinnedWatches) { if (wi.Watch == args.Watch) { wi.Widget.ObjectValue = wi.Watch.Value; - widget.TextEditor.MoveTopLevelWidget (wi.Widget, args.Watch.OffsetX, args.Watch.OffsetY); + widget.TextEditor.TextArea.MoveTopLevelWidget (wi.Widget, args.Watch.OffsetX, args.Watch.OffsetY); break; } } |