Allow selecting the demangler on the "Demangle" popup

Author: AngheloAlf

objdiff-gui/src/app.rs

@@ -811,9 +811,7 @@ impl eframe::App for App {
 
         project_window(ctx, state, show_project_config, config_state, appearance);
         appearance_window(ctx, show_appearance_config, appearance);
-        let demangler =
-            state.read().map(|state| state.config.diff_obj_config.demangler).unwrap_or_default();
-        demangle_window(ctx, show_demangle, demangle_state, appearance, demangler);
+        demangle_window(ctx, show_demangle, demangle_state, appearance);
         rlwinm_decode_window(ctx, show_rlwinm_decode, rlwinm_decode_state, appearance);
         arch_config_window(ctx, state, show_arch_config, appearance);
         debug_window(ctx, show_debug, frame_history, appearance);

objdiff-gui/src/views/demangle.rs

@@ -1,24 +1,32 @@
 use egui::TextStyle;
-use objdiff_core::diff::Demangler;
+use objdiff_core::diff::{ConfigEnum, Demangler};
 
 use crate::views::appearance::Appearance;
 
 #[derive(Default)]
 pub struct DemangleViewState {
     pub text: String,
+    pub demangler: Demangler,
 }
 
 pub fn demangle_window(
     ctx: &egui::Context,
     show: &mut bool,
     state: &mut DemangleViewState,
     appearance: &Appearance,
-    demangler: Demangler,
 ) {
     egui::Window::new("Demangle").open(show).show(ctx, |ui| {
+        egui::ComboBox::from_label("Demangler")
+            .selected_text(state.demangler.name().to_string())
+            .show_ui(ui, |ui| {
+                for demangler in Demangler::variants() {
+                    ui.selectable_value(&mut state.demangler, *demangler, demangler.name());
+                }
+            });
+        ui.separator();
         ui.text_edit_singleline(&mut state.text);
         ui.add_space(10.0);
-        if let Some(demangled) = demangler.demangle(&state.text) {
+        if let Some(demangled) = state.demangler.demangle(&state.text) {
             ui.scope(|ui| {
                 ui.style_mut().override_text_style = Some(TextStyle::Monospace);
                 ui.colored_label(appearance.replace_color, &demangled);