private void OnFeedTitleUpdated(object sender, FeedTitleUpdatedEventArgs args) { lock (podcast_feed_sync) { podcast_feeds.Sort(); } }
private void EmitFeedTitleUpdated(string oldTitle, string newTitle) { FeedTitleUpdatedEventHandler handler = TitleUpdated; FeedTitleUpdatedEventArgs args = new FeedTitleUpdatedEventArgs(oldTitle, newTitle); if (handler != null) { handler(this, args); } }
private void OnFeedTitleUpdated(object sender, FeedTitleUpdatedEventArgs args) { lock (podcast_feed_sync) { podcast_feeds.Sort (); } }
private void EmitFeedTitleUpdated(string oldTitle, string newTitle) { FeedTitleUpdatedEventHandler handler = TitleUpdated; FeedTitleUpdatedEventArgs args = new FeedTitleUpdatedEventArgs (oldTitle, newTitle); if (handler != null) { handler (this, args); } }