diff --git a/Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/misc/FontAdjustPlugin.java b/Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/misc/FontAdjustPlugin.java index af5cc78ffb..96549a3894 100644 --- a/Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/misc/FontAdjustPlugin.java +++ b/Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/misc/FontAdjustPlugin.java @@ -51,6 +51,10 @@ public class FontAdjustPlugin extends Plugin { .onAction(this::decrementFont) .buildAndInstall(tool); + new ActionBuilder("Reset Font", "tool") + .keyBinding("ctrl 0") + .onAction(this::resetFontSize) + .buildAndInstall(tool); } private void incrementFont(ActionContext context) { @@ -67,4 +71,10 @@ public class FontAdjustPlugin extends Plugin { } } + private void resetFontSize(ActionContext context) { + ComponentProvider provider = context.getComponentProvider(); + if (provider != null) { + provider.resetFontSize(); + } + } } diff --git a/Ghidra/Framework/Docking/src/main/java/docking/ComponentProvider.java b/Ghidra/Framework/Docking/src/main/java/docking/ComponentProvider.java index 90a79de858..ab92cc268d 100644 --- a/Ghidra/Framework/Docking/src/main/java/docking/ComponentProvider.java +++ b/Ghidra/Framework/Docking/src/main/java/docking/ComponentProvider.java @@ -827,6 +827,18 @@ public abstract class ComponentProvider implements HelpDescriptor, ActionContext ThemeManager.getInstance().setFont(registeredFontId, font.deriveFont((float) size)); } + /** + * Tells the provider to reset the font size for this provider. + *
+ * See {@link #adjustFontSize(boolean)} + */ + public void resetFontSize() { + if (registeredFontId == null) { + return; + } + ThemeManager.getInstance().restoreFont(registeredFontId); + } + /** * Registers a fontId for the font that will be automatically adjusted when * {@link #adjustFontSize(boolean)} is called.