| 391 | } |
| 392 | |
| 393 | static void setOptionEnabled(ConfigFlags flag, bool on) |
| 394 | { |
| 395 | if (!config.isValid()) |
| 396 | return; |
| 397 | |
| 398 | if (on) |
| 399 | config.ival(0) |= flag; |
| 400 | else |
| 401 | config.ival(0) &= ~flag; |
| 402 | } |
| 403 | |
| 404 | /****************************** |
| 405 | * STATE INITIALIZATION * |
no test coverage detected