+
+}
+
+void
+RedirectBox::delete_redirects ()
+{
+ vector<boost::shared_ptr<Redirect> > to_be_deleted;
+
+ get_selected_redirects (to_be_deleted);
+
+ if (to_be_deleted.empty()) {
+ return;
+ }
+
+ for (vector<boost::shared_ptr<Redirect> >::iterator i = to_be_deleted.begin(); i != to_be_deleted.end(); ++i) {
+
+ void* gui = (*i)->get_gui ();
+
+ if (gui) {
+ static_cast<Gtk::Widget*>(gui)->hide ();
+ }
+
+ _route->remove_redirect( *i, this);
+ }
+
+ no_redirect_redisplay = false;
+ redisplay_redirects (this);