| … | |
… | |
| 1435 | } |
1435 | } |
| 1436 | #endif |
1436 | #endif |
| 1437 | } |
1437 | } |
| 1438 | break; |
1438 | break; |
| 1439 | |
1439 | |
| 1440 | case MappingNotify: |
|
|
| 1441 | XRefreshKeyboardMapping (&ev.xmapping); |
|
|
| 1442 | break; |
|
|
| 1443 | |
|
|
| 1444 | /* |
1440 | /* |
| 1445 | * XXX: this is not the _current_ arrangement |
1441 | * XXX: this is not the _current_ arrangement |
| 1446 | * Here's my conclusion: |
1442 | * Here's my conclusion: |
| 1447 | * If the window is completely unobscured, use bitblt's |
1443 | * If the window is completely unobscured, use bitblt's |
| 1448 | * to scroll. Even then, they're only used when doing partial |
1444 | * to scroll. Even then, they're only used when doing partial |
