| … | |
… | |
| 426 | ++hash_budget_counter [hashkey]; |
426 | ++hash_budget_counter [hashkey]; |
| 427 | } |
427 | } |
| 428 | |
428 | |
| 429 | keymap.swap (sorted_keymap); |
429 | keymap.swap (sorted_keymap); |
| 430 | |
430 | |
| 431 | #ifdef DEBUG_STRICT |
431 | #ifndef NDEBUG |
| 432 | // check for invariants |
432 | // check for invariants |
| 433 | for (i = 0; i < KEYSYM_HASH_BUDGETS; ++i) |
433 | for (i = 0; i < KEYSYM_HASH_BUDGETS; ++i) |
| 434 | { |
434 | { |
| 435 | index = hash[i]; |
435 | index = hash[i]; |
| 436 | for (int j = 0; j < hash_budget_size [i]; ++j) |
436 | for (int j = 0; j < hash_budget_size [i]; ++j) |
