Functions
e_interval_chooser_new ()
GtkWidget *
e_interval_chooser_new (void);
 
e_interval_chooser_get_interval_minutes ()
guint
e_interval_chooser_get_interval_minutes
                               (EIntervalChooser *refresh);
 
e_interval_chooser_set_interval_minutes ()
void
e_interval_chooser_set_interval_minutes
                               (EIntervalChooser *refresh,
                                guint interval_minutes);