187 |
rootpix = shade_pixmap(get_transparency_pixmap(), 0, 0, 0, 0, gdk_screen_width(), gdk_screen_height(), |
191 |
rootpix = shade_pixmap(get_transparency_pixmap(), 0, 0, 0, 0, gdk_screen_width(), gdk_screen_height(), |
188 |
skin_get_color(bmp_active_skin, SKIN_PLEDIT_NORMALBG)); |
192 |
skin_get_color(bmp_active_skin, SKIN_PLEDIT_NORMALBG)); |