protected void notifyTerminalRetitled(String title) {
		for (TerminalListener l : terminalListeners) {
			try {
				l.retitled(title);
			}
			catch (Throwable t) {
				Msg.showError(this, null, "Error", t.getMessage(), t);
			}
		}
	}
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