- {
- gtk_spinner_remove_timeout (GTK_SPINNER (widget));
- }
-
- GTK_WIDGET_CLASS (gtk_spinner_parent_class)->unrealize (widget);
-}
-
-static void
-gtk_spinner_screen_changed (GtkWidget* widget, GdkScreen* old_screen)
-{
- GtkSpinner *spinner;
- GdkScreen* new_screen;
- GdkColormap* colormap;
-
- spinner = GTK_SPINNER (widget);
-
- new_screen = gtk_widget_get_screen (widget);
- colormap = gdk_screen_get_rgba_colormap (new_screen);
-
- if (!colormap)
- {
- colormap = gdk_screen_get_rgb_colormap (new_screen);
- }