+ if (nb_page->m_image != -1)
+ {
+ /* Case 2) or 4). There is already an image in the gtkhbox. Let's find it */
+
+ GList *child = gtk_container_children(GTK_CONTAINER(nb_page->m_box));
+ while (child)
+ {
+ if (GTK_IS_PIXMAP(child->data))
+ {
+ pixmapwid = GTK_WIDGET(child->data);
+ break;
+ }
+ child = child->next;
+ }
+
+ /* We should have the pixmap widget now */
+ wxASSERT(pixmapwid != NULL);
+
+ if (image == -1)
+ {
+ /* If there's no new widget, just remove the old from the box */
+ gtk_container_remove(GTK_CONTAINER(nb_page->m_box), pixmapwid);
+ nb_page->m_image = -1;
+
+ return TRUE; /* Case 2) */
+ }
+ }
+
+ /* Only cases 3) and 4) left */
+ wxASSERT( m_imageList != NULL ); /* Just in case */
+
+ /* Construct the new pixmap */
+ const wxBitmap *bmp = m_imageList->GetBitmap(image);
+ GdkPixmap *pixmap = bmp->GetPixmap();
+ GdkBitmap *mask = (GdkBitmap*) NULL;
+ if ( bmp->GetMask() )
+ {
+ mask = bmp->GetMask()->GetBitmap();
+ }
+
+ if (pixmapwid == NULL)
+ {
+ /* Case 3) No old pixmap. Create a new one and prepend it to the hbox */
+ pixmapwid = gtk_pixmap_new (pixmap, mask );
+
+ /* CHECKME: Are these pack flags okay? */
+ gtk_box_pack_start(GTK_BOX(nb_page->m_box), pixmapwid, FALSE, FALSE, m_padding);
+ gtk_widget_show(pixmapwid);
+ }
+ else
+ {
+ /* Case 4) Simply replace the pixmap */
+ gtk_pixmap_set(GTK_PIXMAP(pixmapwid), pixmap, mask);
+ }
+
+ nb_page->m_image = image;
+
+ return TRUE;