@Override
			public void actionPerformed(ActionEvent event) {
				ComponentProvider provider = placeholder.getProvider();
				JComponent component = provider.getComponent();
				String currentTabText = provider.getTabText();
				String newName = OptionDialog.showInputSingleLineDialog(component, "Rename Tab",
					"New name:", currentTabText);
				if (newName == null || newName.isEmpty()) {
					return; // cancelled
				}

				// If the user changes the name, then we want to replace all of the parts of the 
				// title with that name.  We do not supply a custom subtitle, as that doesn't make 
				// sense in this case, but we clear it so the user's title is the only thing 
				// visible.  This means that providers can still update the subtitle later.
				provider.setCustomTitle(newName);   // title on window
				provider.setSubTitle("");           // part after the title
				provider.setCustomTabText(newName); // text on the tab
			}
Makes the component the selected tab.
@param placeholder the component placeholder object of the component to be shown in the active tab.
Ghidra/Framework/Docking/src/main/java/docking/ComponentNode.java