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