mirror of https://github.com/encounter/objdiff.git
Remove "Algorithm" menu item
This commit is contained in:
parent
341c1d4b33
commit
49ee9b44aa
|
@ -47,7 +47,6 @@ pub struct ViewState {
|
||||||
pub show_appearance_config: bool,
|
pub show_appearance_config: bool,
|
||||||
pub show_demangle: bool,
|
pub show_demangle: bool,
|
||||||
pub show_project_config: bool,
|
pub show_project_config: bool,
|
||||||
pub show_diff_options: bool,
|
|
||||||
pub show_debug: bool,
|
pub show_debug: bool,
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -409,7 +408,6 @@ impl eframe::App for App {
|
||||||
show_appearance_config,
|
show_appearance_config,
|
||||||
show_demangle,
|
show_demangle,
|
||||||
show_project_config,
|
show_project_config,
|
||||||
show_diff_options,
|
|
||||||
show_debug,
|
show_debug,
|
||||||
} = view_state;
|
} = view_state;
|
||||||
|
|
||||||
|
@ -463,10 +461,6 @@ impl eframe::App for App {
|
||||||
}
|
}
|
||||||
});
|
});
|
||||||
ui.menu_button("Diff Options", |ui| {
|
ui.menu_button("Diff Options", |ui| {
|
||||||
if ui.button("Algorithm…").clicked() {
|
|
||||||
*show_diff_options = !*show_diff_options;
|
|
||||||
ui.close_menu();
|
|
||||||
}
|
|
||||||
let mut config = config.write().unwrap();
|
let mut config = config.write().unwrap();
|
||||||
let response = ui
|
let response = ui
|
||||||
.checkbox(&mut config.rebuild_on_changes, "Rebuild on changes")
|
.checkbox(&mut config.rebuild_on_changes, "Rebuild on changes")
|
||||||
|
|
Loading…
Reference in New Issue