void OnWatchRemoved (object s, PinnedWatchEventArgs args) { foreach (PinnedWatchInfo wi in pinnedWatches) { if (wi.Watch == args.Watch) { pinnedWatches.Remove (wi); widget.TextEditorContainer.Remove (wi.Widget); wi.Widget.Destroy (); break; } } }
void OnWatchChanged (object s, PinnedWatchEventArgs args) { foreach (PinnedWatchInfo wi in pinnedWatches) { if (wi.Watch == args.Watch) { wi.Widget.ObjectValue = wi.Watch.Value; widget.TextEditorContainer.MoveTopLevelWidget (wi.Widget, args.Watch.OffsetX, args.Watch.OffsetY); break; } } }
void OnWatchAdded (object s, PinnedWatchEventArgs args) { if (args.Watch.File == ContentName && DebuggingService.IsDebugging) AddWatch (args.Watch); }