| 80 | } |
| 81 | |
| 82 | void setOption(OptionType option, int newSetting) { |
| 83 | if ((unsigned int)option < OptionTypeUnused) { |
| 84 | initIntOptions(); |
| 85 | gSetting[option] = newSetting; |
| 86 | } |
| 87 | } |
| 88 | |
| 89 | int getOption(OptionType option) { |
| 90 | initIntOptions(); |
no test coverage detected