| 71 | static int* gSetting = 0; |
| 72 | |
| 73 | static void initIntOptions() { |
| 74 | if (!gSetting) { |
| 75 | gSetting = new int[OptionTypeUnused]; |
| 76 | for (int i=0; i<OptionTypeUnused; ++i) { |
| 77 | gSetting[i] = 0; |
| 78 | } |
| 79 | } |
| 80 | } |
| 81 | |
| 82 | void setOption(OptionType option, int newSetting) { |
| 83 | if ((unsigned int)option < OptionTypeUnused) { |