GP-1597: fix for font resizing

This commit is contained in:
d-millar 2021-12-14 14:24:45 +00:00
parent 609e56381a
commit 2de4e36298

View File

@ -15,7 +15,9 @@
*/
package ghidra.app.plugin.core.debug.gui.objects.components;
import java.awt.*;
import java.awt.Color;
import java.awt.Component;
import java.awt.Font;
import java.util.Map;
import javax.swing.JTree;
@ -27,6 +29,7 @@ import ghidra.app.plugin.core.debug.gui.objects.ObjectContainer;
import ghidra.dbg.target.TargetExecutionStateful;
import ghidra.dbg.target.TargetExecutionStateful.TargetExecutionState;
import ghidra.dbg.target.TargetObject;
import ghidra.util.SystemUtilities;
// TODO: In the new scheme, I'm not sure this is applicable anymore.
class ObjectTreeCellRenderer extends GTreeRenderer {
@ -101,7 +104,7 @@ class ObjectTreeCellRenderer extends GTreeRenderer {
}
}
}
component.setFont(container.isSubscribed() ? defaultFont : unsubscribedFont);
component.setFont(SystemUtilities.adjustForFontSizeOverride(container.isSubscribed() ? defaultFont : unsubscribedFont));
}
return component;
}