yetangitu/ghidra
1
0
Fork 0
mirror of https://github.com/NationalSecurityAgency/ghidra.git synced 2025-10-03 09:49:23 +02:00
Code Issues Releases Wiki Activity

Review Tool - 3.1.1 - updated comments table to use column filters;

Browse source 
fixed build to not error when building the review tool
This commit is contained in:
dragonmacher 2019-08-21 18:38:18 -04:00
parent 01c43efb2c
commit fac5b0e13b
2 changed files with 6 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

8
Ghidra/Framework/Docking/src/main/java/docking/widgets/table/GTableFilterPanel.java
View file

@ -203,10 +203,10 @@ public class GTableFilterPanel<ROW_OBJECT> extends JPanel {
transformer = new DefaultRowFilterTransformer<>(tableModel, table.getColumnModel()); transformer = new DefaultRowFilterTransformer<>(tableModel, table.getColumnModel());
buildPanel(filterLabel);
textFilterModel = installTableModel(tableModel); textFilterModel = installTableModel(tableModel);
buildPanel(filterLabel);
TableColumnModel columnModel = table.getColumnModel(); TableColumnModel columnModel = table.getColumnModel();
columnModel.addColumnModelListener(columnModelListener); columnModel.addColumnModelListener(columnModelListener);
@ -390,15 +390,11 @@ public class GTableFilterPanel<ROW_OBJECT> extends JPanel {
} }
private boolean isTableColumnFilterableModel() { private boolean isTableColumnFilterableModel() {
return table.getModel() instanceof RowObjectFilterModel; return table.getModel() instanceof RowObjectFilterModel;
} }
@SuppressWarnings("unchecked") @SuppressWarnings("unchecked")
private JComponent buildColumnFilterStateButton() { private JComponent buildColumnFilterStateButton() {
if (!isTableColumnFilterableModel()) {
return null;
}
RowObjectFilterModel<ROW_OBJECT> tableModel = RowObjectFilterModel<ROW_OBJECT> tableModel =
(RowObjectFilterModel<ROW_OBJECT>) table.getModel(); (RowObjectFilterModel<ROW_OBJECT>) table.getModel();

6
build.gradle
View file

@ -54,10 +54,10 @@ if (file("flatRepo").isDirectory()) {
} }
} }
else { else {
File f = new File("ghidra.repos.config"); File f = file("ghidra.repos.config")
if (!f.exists()) { if (!f.exists()) {
throw new GradleException("\n\nUnable to find the local maven repo." + throw new GradleException("\n\n\n\tUnable to find the local maven repo." +
" Ensure you have created the ${f.getName()} file.\n\n"); " Ensure you have created the ${f.getName()} file.\n\n\n");
} }
} }