… | |
… | |
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 |