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);