void load_images(AppData *appdata);
-void reset_speed(AppData* appdata);
+void load_initial_pixbufs(AppData* appdata);
void set_nth_digit(AppData* appdata, guint n, guint value);
-guint randomize(AppData* appdata);
+// queues repaint of all digits on the screen
+void repaint_all_digits(AppData* appdata);
+
+void randomize(AppData* appdata);
void create_ui(AppData* appdata);