org.handhelds.familiar/packages/gtkhtml/gtkhtml-3.0/fix-missing-colormap.patch

   1 --- gtkhtml-3.0.10/src/htmlgdkpainter.c.orig    2004-07-23 17:07:05.000000000 +0100
   2 +++ gtkhtml-3.0.10/src/htmlgdkpainter.c 2004-07-23 17:17:09.000000000 +0100
   3 @@ -277,22 +277,19 @@
   4  begin (HTMLPainter *painter, int x1, int y1, int x2, int y2)
   5  {
   6         HTMLGdkPainter *gdk_painter;
   7 -       GdkVisual *visual;
   8
   9         /* printf ("painter begin %d,%d %d,%d\n", x1, y1, x2, y2); */
  10
  11         gdk_painter = HTML_GDK_PAINTER (painter);
  12         g_return_if_fail (gdk_painter->window != NULL);
  13 -       visual = gdk_drawable_get_visual (gdk_painter->window);
  14 -       g_return_if_fail (visual != NULL);
  15
  16         if (gdk_painter->double_buffer){
  17                 const int width = x2 - x1 + 1;
  18                 const int height = y2 - y1 + 1;
  19
  20                 g_assert (gdk_painter->pixmap == NULL);
  21 -
  22 -               gdk_painter->pixmap = gdk_pixmap_new (gdk_painter->pixmap, width, height, visual->depth);
  23 +
  24 +               gdk_painter->pixmap = gdk_pixmap_new (gdk_painter->window, width, height, -1);
  25                 gdk_painter->x1 = x1;
  26                 gdk_painter->y1 = y1;
  27                 gdk_painter->x2 = x2;
  28 @@ -313,6 +310,8 @@
  29                 gdk_painter->x2 = 0;
  30                 gdk_painter->y2 = 0;
  31         }
  32 +
  33 +       g_assert(gdk_drawable_get_colormap(gdk_painter->pixmap) != NULL);
  34  }
  35
  36  static void