(ui: &mut egui::Ui, state: &mut AppState, _appearance: &Appearance)
| 1015 | } |
| 1016 | |
| 1017 | fn arch_config_ui(ui: &mut egui::Ui, state: &mut AppState, _appearance: &Appearance) { |
| 1018 | let mut first = true; |
| 1019 | let mut changed = false; |
| 1020 | for group in CONFIG_GROUPS { |
| 1021 | if group.id == "general" { |
| 1022 | continue; |
| 1023 | } |
| 1024 | if first { |
| 1025 | first = false; |
| 1026 | } else { |
| 1027 | ui.separator(); |
| 1028 | } |
| 1029 | ui.heading(group.name); |
| 1030 | for property_id in group.properties.iter().cloned() { |
| 1031 | changed |= config_property_ui(ui, state, property_id); |
| 1032 | } |
| 1033 | } |
| 1034 | if changed { |
| 1035 | state.queue_reload = true; |
| 1036 | } |
| 1037 | } |
| 1038 | |
| 1039 | pub fn general_config_ui(ui: &mut egui::Ui, state: &mut AppState) { |
| 1040 | let mut changed = false; |
no test coverage detected