@Override
			public void focusLost(FocusEvent e) {
				if (model.reportFocus) {
					eventEncoder.focusLost();
				}
			}
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