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);
}