diff options
| author | Mason Reed <mason@vector35.com> | 2025-07-15 06:12:37 -0400 |
|---|---|---|
| committer | Mason Reed <mason@vector35.com> | 2025-07-15 12:34:43 -0400 |
| commit | a3773b6922543075750a5b4ed47e79f34e60d800 (patch) | |
| tree | 542d88518fd3b381e1ddf06c0c4be959678ffa20 /plugins/warp/src/plugin/project.rs | |
| parent | d6c098813fde016e225c4ee072f38cd69d9783f0 (diff) | |
[WARP] Misc improvements
- Fix project file filter not blacklisting warp files
- Fix project name not being used for default file save name
- Prevent adding the same file to the available sources
Diffstat (limited to 'plugins/warp/src/plugin/project.rs')
| -rw-r--r-- | plugins/warp/src/plugin/project.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/warp/src/plugin/project.rs b/plugins/warp/src/plugin/project.rs index fc95342c..5047ad0c 100644 --- a/plugins/warp/src/plugin/project.rs +++ b/plugins/warp/src/plugin/project.rs @@ -10,7 +10,7 @@ use binaryninja::project::folder::ProjectFolder; use binaryninja::project::Project; use binaryninja::rc::Ref; use regex::Regex; -use std::path::{Path, PathBuf}; +use std::path::Path; use std::thread; use std::time::Instant; use warp::WarpFile; @@ -186,7 +186,7 @@ impl CreateSignatures { None => Some(warp_filter), }; } - if let Some(filter) = form.file_filter() { + if let Some(filter) = filter { processor = processor.with_file_filter(filter); } |
