| 1284 | { |
| 1285 | public: |
| 1286 | ViewscreenPreferences() |
| 1287 | { |
| 1288 | preferences_column.multiselect = false; |
| 1289 | preferences_column.auto_select = true; |
| 1290 | preferences_column.setTitle("Preference"); |
| 1291 | preferences_column.bottom_margin = 3; |
| 1292 | preferences_column.search_margin = 50; |
| 1293 | |
| 1294 | dwarf_column.multiselect = false; |
| 1295 | dwarf_column.auto_select = true; |
| 1296 | dwarf_column.allow_null = true; |
| 1297 | dwarf_column.setTitle("Units with Preference"); |
| 1298 | dwarf_column.bottom_margin = 3; |
| 1299 | dwarf_column.search_margin = 50; |
| 1300 | |
| 1301 | populatePreferencesColumn(); |
| 1302 | } |
| 1303 | |
| 1304 | void populatePreferencesColumn() |
| 1305 | { |