+void popup_msg(GtkMessageType mt, const char *msg);
+/* Pop up a message */
+
+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(const struct button *buttons,
+ size_t nbuttons);
+
+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);