@Override
	public void themeChanged(ThemeEvent event) {
		if (event.isLookAndFeelChanged()) {
			setFont(Gui.getFont(DEFAULT_FONT_ID));
		}
		if (event.isFontChanged(DEFAULT_FONT_ID)) {
			setFont(Gui.getFont(DEFAULT_FONT_ID));
		}
		else if (ALL_FONT_IDS.stream().anyMatch(event::isFontChanged)) {
			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