encounter/objdiff
1
0
Fork 0
mirror of https://github.com/encounter/objdiff.git synced 2025-12-08 21:17:59 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add 'None' demangler option

Browse Source
This commit is contained in:
Luke Street
2025-09-22 23:31:57 -06:00
parent fe8e7029f6
commit 1866158092
3 changed files with 16 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
objdiff-gui/src/views/demangle.rs
View File

@@ -20,7 +20,9 @@ pub fn demangle_window(
.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());
if *demangler != Demangler::None {
ui.selectable_value(&mut state.demangler, *demangler, demangler.name());
}
}
});
ui.separator();