|
|
| version 1.9, 2007/02/04 11:51:14 | version 1.11, 2011/01/15 16:01:53 |
|---|---|
| Line 468 void | Line 468 void |
| scrnmng_setwidth(int posx, int width) | scrnmng_setwidth(int posx, int width) |
| { | { |
| UNUSED(posx); | |
| scrnstat.width = width; | scrnstat.width = width; |
| renewal_client_size(); | renewal_client_size(); |
| } | } |
| Line 478 void | Line 476 void |
| scrnmng_setheight(int posy, int height) | scrnmng_setheight(int posy, int height) |
| { | { |
| UNUSED(posy); | |
| scrnstat.height = height; | scrnstat.height = height; |
| renewal_client_size(); | renewal_client_size(); |
| } | } |
| Line 542 void | Line 538 void |
| scrnmng_surfunlock(const SCRNSURF *surf) | scrnmng_surfunlock(const SCRNSURF *surf) |
| { | { |
| UNUSED(surf); | |
| if (drawmng.drawsurf == drawmng.surface) { | if (drawmng.drawsurf == drawmng.surface) { |
| gdk_pixbuf_scale(drawmng.backsurf, drawmng.surface, | gdk_pixbuf_scale(drawmng.backsurf, drawmng.surface, |
| 0, 0, drawmng.rect.right, drawmng.rect.bottom, | 0, 0, drawmng.rect.right, drawmng.rect.bottom, |
| Line 558 void | Line 552 void |
| scrnmng_update(void) | scrnmng_update(void) |
| { | { |
| GdkDrawable *d = drawarea->window; | GdkDrawable *d = drawarea->window; |
| GdkGC *gc = drawarea->style->fg_gc[GTK_WIDGET_STATE(drawarea)]; | GdkGC *gc = drawarea->style->fg_gc[gtk_widget_get_state(drawarea)]; |
| if (scrnmng.palchanged) { | if (scrnmng.palchanged) { |
| scrnmng.palchanged = FALSE; | scrnmng.palchanged = FALSE; |