protected void updateFontMetrics() {
		Font font = getFont();
		float size = font.getSize2D();
		fontSizeAdjustment = Math.max(-size + 1, fontSizeAdjustment);
		font = font.deriveFont(size + fontSizeAdjustment);
		metrics = getFontMetrics(font);
		if (model != null) {
			model.setFontMetrics(metrics, fontSizeAdjustment);
		}
		if (!fixedSize) {
			resizeTerminalToWindow();
		}
		if (model != null) {
			model.modelChanged();
		}
	}
NOTE: According to gdb's docs, it's common for terminals to use SHIFT to override
application mouse tracking:

https://sourceware.org/gdb/onlinedocs/gdb/TUI-Mouse-Support.html
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/terminal/TerminalPanel.java