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