| Top |  |  |  |  | 
GtkWidget *
e_interval_chooser_new (void);
e_interval_chooser_new is deprecated and should not be used in newly-written code.
guint
e_interval_chooser_get_interval_minutes
                               (EIntervalChooser *refresh);
e_interval_chooser_get_interval_minutes is deprecated and should not be used in newly-written code.
void e_interval_chooser_set_interval_minutes (EIntervalChooser *refresh,guint interval_minutes);
e_interval_chooser_set_interval_minutes is deprecated and should not be used in newly-written code.