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

GP-5584 fixed issue with toolbar icons sometimes getting extra spacing.

Browse source
This commit is contained in:
ghidragon 2025-04-10 13:34:04 -04:00
parent 327940b252
commit 5af205707b
1 changed files with 12 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

10
Ghidra/Framework/Docking/src/main/java/docking/widgets/EmptyBorderButton.java
View file

@ -128,6 +128,16 @@ public class EmptyBorderButton extends JButton {
super.setIcon(newIcon);
}
@Override
public void setBorder(Border border) {
// To keep UI from installing a non-appropriate border (such as when switching themes),
// only allow borders created by this class to be set.
if (border == RAISED_BUTTON_BORDER || border == LOWERED_BUTTON_BORDER ||
border == FOCUSED_BUTTON_BORDER || border == NO_BUTTON_BORDER) {
super.setBorder(border);
}
}
private void installLookAndFeelFix() {
// We want our custom buttons to paint themselves blended with the background. Several
// LookAndFeels do not do this (WinXP and Metal), so we override that behavior here.