public void setTitle(String tabTitle, String fullTitle) {
		titleLabel.setText(getShortenedTitle(tabTitle));
		String trimmedTabText = tabTitle.trim();
		String trimmedTitleText = fullTitle.trim();
		if (trimmedTabText.equals(trimmedTitleText)) {
			// don't include the same text on twice
			titleLabel.setToolTipText(tabTitle);
		}
		else if (trimmedTitleText.contains(trimmedTabText)) {
			// don't include both when the tab text is a subset of the title
			titleLabel.setToolTipText(fullTitle);
		}
		else {
			// both are different, include both			
			titleLabel.setToolTipText("<html><b>" + tabTitle + "</b> - [" + fullTitle + "]");
		}
	}
A widget that can be used to render an icon, title and close button for JTabbedPane.  You would 
use this class with the tabbed pane by calling {@link JTabbedPane#setTabComponentAt(int, Component)}
Ghidra/Framework/Docking/src/main/java/docking/widgets/tabbedpane/DockingTabRenderer.java