@Override
	public String getSelectedText() {

		String html = getPrettifiedHtml();
		if (html != null) {
			return html;
		}
		return super.getSelectedText();
	}
Overridden to allow copying HTML content in its display form, without formatting.  The
default Java copy action will call this method.
Ghidra/Framework/Docking/src/main/java/docking/widgets/textpane/GHtmlTextPane.java