mirror of
https://github.com/encounter/objdiff.git
synced 2025-12-17 08:57:25 +00:00
objdiff-cli diff: Click-to-highlight & build fixes
This commit is contained in:
@@ -11,7 +11,7 @@ use anyhow::{Context, Result};
|
||||
use const_format::formatcp;
|
||||
use egui::{
|
||||
output::OpenUrl, text::LayoutJob, CollapsingHeader, FontFamily, FontId, RichText,
|
||||
SelectableLabel, TextFormat, Widget, WidgetText,
|
||||
SelectableLabel, TextFormat, Widget,
|
||||
};
|
||||
use globset::Glob;
|
||||
use objdiff_core::config::{ProjectObject, DEFAULT_WATCH_PATTERNS};
|
||||
@@ -838,15 +838,3 @@ fn split_obj_config_ui(
|
||||
}
|
||||
});
|
||||
}
|
||||
|
||||
pub fn diff_options_window(
|
||||
ctx: &egui::Context,
|
||||
config: &AppConfigRef,
|
||||
show: &mut bool,
|
||||
appearance: &Appearance,
|
||||
) {
|
||||
let mut config_guard = config.write().unwrap();
|
||||
egui::Window::new("Diff Options").open(show).show(ctx, |ui| {
|
||||
diff_options_ui(ui, &mut config_guard, appearance);
|
||||
});
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user