private void showSourceMapEntries(SourceFilesTableActionContext actionContext) {
		TableService tableService = sourceFilesTablePlugin.getTool().getService(TableService.class);
		if (tableService == null) {
			Msg.showWarn(this, null, "No Table Service", "Please add the TableServicePlugin.");
			return;
		}
		SourceFileRowObject sourceFileRow = sourceFilesTable.getSelectedRowObject();
		Icon markerIcon = new GIcon("icon.plugin.codebrowser.cursor.marker");
		SourceFile sourceFile = sourceFileRow.getSourceFile();
		String title = "Source Map Entries for " + sourceFile.getFilename();
		SourceMapEntryTableModel tableModel =
			new SourceMapEntryTableModel(sourceFilesTablePlugin.getTool(),
				sourceFilesTablePlugin.getCurrentProgram(), TaskMonitor.DUMMY, sourceFile);
		TableComponentProvider<SourceMapEntryRowObject> provider =
			tableService.showTableWithMarkers(title, "SourceMapEntries", tableModel,
				SearchConstants.SEARCH_HIGHLIGHT_COLOR, markerIcon, title, null);
		provider.setTabText(sourceFile.getFilename());
		provider.setHelpLocation(
			new HelpLocation(sourceFilesTablePlugin.getName(), "Show_Source_Map_Entries"));
	}
Sets isStale to {@code true} when {@code rec} has an event type relevant to the source
file table.  If the event type is {@link ProgramEvent#SOURCE_FILE_REMOVED}, any associated
file transform is also removed.

@param rec program change record
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/sourcefilestable/SourceFilesTableProvider.java