GP-5566: first/last? changes for ghidra

GP-5566: fix for J

GP-5566: minor fixes

GP-5566: icons decl proper

GP-5566: minor tweaks

GP-5566: post-review

GP-5566: minor

GP-5566: mo better monitor logic

GP-5566: minor fix
This commit is contained in:
d-millar 2025-07-25 15:15:47 +00:00
parent b25e7c12a1
commit f5572ede99
21 changed files with 229 additions and 26 deletions

View file

@ -111,6 +111,10 @@ public class SarifController implements ObjectSelectedListener<Map<String, Objec
public void showTable(String logName, SarifSchema210 sarif) {
SarifDataFrame df = new SarifDataFrame(sarif, this, false);
int size = df.getTableResults().size();
if (size != 0) {
logName += " ["+size+"]";
}
SarifResultsTableProvider provider =
new SarifResultsTableProvider(logName, getPlugin(), this, df);
provider.filterTable.addSelectionListener(this);
@ -278,7 +282,6 @@ public class SarifController implements ObjectSelectedListener<Map<String, Objec
return defaultGraphHandler;
}
@SuppressWarnings("unchecked")
public void setDefaultGraphHander(Class<? extends SarifGraphRunHandler> clazz) {
defaultGraphHandler = clazz;
}