mirror of
https://github.com/NationalSecurityAgency/ghidra.git
synced 2025-10-03 17:59:46 +02:00
Merge remote-tracking branch 'origin/patch'
This commit is contained in:
commit
1a28788aec
1 changed files with 1 additions and 1 deletions
|
@ -269,7 +269,7 @@ public class SearchGuiModel {
|
||||||
}
|
}
|
||||||
|
|
||||||
public void selectRegion(SearchRegion region, boolean selected) {
|
public void selectRegion(SearchRegion region, boolean selected) {
|
||||||
settings.withSelectedRegion(region, selected);
|
settings = settings.withSelectedRegion(region, selected);
|
||||||
}
|
}
|
||||||
|
|
||||||
public boolean isSelectedRegion(SearchRegion region) {
|
public boolean isSelectedRegion(SearchRegion region) {
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue