public void adjustFontSize(boolean bigger) {
		if (registeredFontId == null) {
			return;
		}
		Font font = Gui.getFont(registeredFontId);
		if (font == null) {
			return;
		}
		int size = font.getSize();
		if (bigger) {
			size += 1;
		}
		else {
			size = Math.max(size - 1, 3);
		}
		ThemeManager.getInstance().setFont(registeredFontId, font.deriveFont((float) size));
	}
Tells the provider to adjust the font size for this provider. By default, this method
will adjust the font for the registered font id if it has been registered using
{@link #registeredFontId}. Subclasses can override this method to a more comprehensive
adjustment to multiple fonts if necessary.
@param bigger if true, the font should be made bigger, otherwise the font should be made
smaller
Ghidra/Framework/Docking/src/main/java/docking/ComponentProvider.java