351 |
height = HeightOfScreen(screen); |
height = HeightOfScreen(screen); |
352 |
} |
} |
353 |
|
|
354 |
|
/* make sure width is a multiple of 4 */ |
355 |
|
width = (width + 3) & ~3; |
356 |
|
|
357 |
xkeymap_init(); |
xkeymap_init(); |
358 |
return True; |
return True; |
359 |
} |
} |
457 |
int newwidth, newheight; |
int newwidth, newheight; |
458 |
|
|
459 |
fullscreen = !fullscreen; |
fullscreen = !fullscreen; |
460 |
newwidth = fullscreen ? WidthOfScreen(screen) : width; |
newwidth = fullscreen ? WidthOfScreen(screen) : width; |
461 |
newheight = fullscreen ? HeightOfScreen(screen) : height; |
newheight = fullscreen ? HeightOfScreen(screen) : height; |
462 |
|
|
463 |
XUnmapWindow(display, wnd); |
XUnmapWindow(display, wnd); |