@Override
	protected void programChanged(Program program) {
		if (program == null) {
			getMenuBarData().setMenuItemName("Program Options");
		}
		else {
			String menuString = "Options for '%s'".formatted(program.getDomainFile().getName());
			getMenuBarData().setMenuItemNamePlain(menuString);
		}
	}
Action class for the "Edit Program Options" action
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/progmgr/ProgramOptionsAction.java