| 108 | |
| 109 | public: |
| 110 | void reset(color_ostream &out, bool skip_restore) { |
| 111 | was_in_settings = false; |
| 112 | |
| 113 | if (saved) { |
| 114 | if (!skip_restore) |
| 115 | restore_settings(out); |
| 116 | delete[] *saved; |
| 117 | saved.reset(); |
| 118 | } |
| 119 | } |
| 120 | |
| 121 | void on_update(color_ostream &out) { |
| 122 | if (Gui::matchFocusString("dwarfmode/Settings")) { |