+void popup_msg(GtkMessageType mt, const char *msg);
+void popup_submsg(GtkWidget *parent, GtkMessageType mt, const char *msg);
+
+void fpopup_msg(GtkMessageType mt, const char *fmt, ...);
+
+struct progress_window *progress_window_new(const char *title);
+/* Pop up a progress window */
+
+void progress_window_progress(struct progress_window *pw,
+ int progress,
+ int limit);
+/* Report current progress */
+
+GtkWidget *iconbutton(const char *path, const char *tip);
+
+GtkWidget *create_buttons(struct button *buttons,
+ size_t nbuttons);
+GtkWidget *create_buttons_box(struct button *buttons,
+ size_t nbuttons,
+ GtkWidget *box);
+
+void register_monitor(monitor_callback *callback,
+ void *u,
+ unsigned long mask);
+/* Register a state monitor */
+
+/** @brief Type signature for a reset callback */
+typedef void reset_callback(void);
+
+void register_reset(reset_callback *callback);
+/* Register a reset callback */
+
+void reset(void);