+
+ /* Refilter the header view explicitly, to make sure that
+ * deleted emails are really removed from view.
+ * (They are not really deleted until contact is made with the server,
+ * so they would appear with a strike-through until then):
+ */
+ ModestHeaderView *header_view = MODEST_HEADER_VIEW(modest_main_window_get_child_widget (
+ MODEST_MAIN_WINDOW(win), MODEST_WIDGET_TYPE_HEADER_VIEW));
+ if (header_view && MODEST_IS_HEADER_VIEW (header_view))
+ modest_header_view_refilter (header_view);