yetangitu/ghidra
1
0
Fork 0
mirror of https://github.com/NationalSecurityAgency/ghidra.git synced 2025-10-05 19:42:36 +02:00
Code Issues Releases Wiki Activity

Theming - Fixed clients that want empty viewport space to match the

Browse source 
parent panel color
This commit is contained in:
dragonmacher 2023-10-30 18:01:54 -04:00
parent 1ba77f6902
commit 4f1866d4cc
10 changed files with 63 additions and 68 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Ghidra/Framework/Project/src/main/java/ghidra/framework/plugintool/dialog/ManagePluginsDialog.java
View file

@ -25,7 +25,6 @@ import docking.action.*;
import docking.tool.ToolConstants;
import docking.widgets.OptionDialog;
import generic.theme.GIcon;
import generic.theme.GThemeDefaults.Colors;
import ghidra.app.util.GenericHelpTopics;
import ghidra.framework.main.AppInfo;
import ghidra.framework.plugintool.PluginConfigurationModel;
@ -56,7 +55,6 @@ public class ManagePluginsDialog extends ReusableDialogComponentProvider {
this.pluginConfigurationModel = pluginConfigurationModel;
pluginComponent = new PluginManagerComponent(tool, pluginConfigurationModel);
JScrollPane scrollPane = new JScrollPane(pluginComponent);
scrollPane.getViewport().setBackground(Colors.BACKGROUND);
scrollPane.getViewport().setViewPosition(new Point(0, 0));
addWorkPanel(scrollPane);
createActions(addSaveActions);

2
Ghidra/Framework/Project/src/main/java/ghidra/framework/plugintool/dialog/PluginInstallerDialog.java
View file

@ -149,7 +149,6 @@ public class PluginInstallerDialog extends DialogComponentProvider {
tableFilterPanel = new GTableFilterPanel<>(table, tableModel);
JScrollPane sp = new JScrollPane(table);
sp.getViewport().setBackground(table.getBackground());
pluginTablePanel.add(sp, BorderLayout.CENTER);
pluginTablePanel.add(tableFilterPanel, BorderLayout.SOUTH);
@ -203,7 +202,6 @@ public class PluginInstallerDialog extends DialogComponentProvider {
private class StatusCellRenderer extends GTableCellRenderer {
public StatusCellRenderer() {
super();
setHorizontalAlignment(SwingConstants.CENTER);
}

7
Ghidra/Framework/Project/src/main/java/ghidra/framework/project/extensions/ExtensionTablePanel.java
View file

@ -41,7 +41,7 @@ public class ExtensionTablePanel extends JPanel {
/**
* Constructor; builds the panel and sets table attributes.
*
*
* @param tool the tool showing the extension dialog
*/
public ExtensionTablePanel(PluginTool tool) {
@ -56,7 +56,6 @@ public class ExtensionTablePanel extends JPanel {
table.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
JScrollPane sp = new JScrollPane(table);
sp.getViewport().setBackground(table.getBackground());
add(sp, BorderLayout.CENTER);
tableFilterPanel = new GTableFilterPanel<>(table, tableModel);
@ -98,7 +97,7 @@ public class ExtensionTablePanel extends JPanel {
/**
* Returns the filter panel.
*
*
* @return the filter panel
*/
public GTableFilterPanel<ExtensionDetails> getFilterPanel() {
@ -107,7 +106,7 @@ public class ExtensionTablePanel extends JPanel {
/**
* Replaces the contents of the table with the given list of extensions.
*
*
* @param extensions the new model data
*/
public void setExtensions(Set<ExtensionDetails> extensions) {