void SelectorCallback (NSDocument source, bool didDuplicate, IntPtr contextInfo) { callback (source, didDuplicate); if (proxies != null) { proxies.Remove (this); if (proxies.Count == 0) proxies = null; } }
void SelectorCallback(NSDocument source, bool didDuplicate, IntPtr contextInfo) { callback(source, didDuplicate); if (proxies != null) { proxies.Remove(this); if (proxies.Count == 0) { proxies = null; } } }