public void dispose() {
		Gui.unRegisterFont(this, DEFAULT_FONT_ID);
		Gui.removeThemeListener(this);
		if (this.clipboardService != null) {
			clipboardService.deRegisterClipboardContentProvider(clipboardProvider);
		}
	}
Send the cursor's position to the application

@param row the cursor's row
@param col the cursor's column
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/terminal/TerminalPanel.java