private List<String> getOptionNames(Options optionsGroup) {
		List<String> subOptions = optionsGroup.getLeafOptionNames();
		Iterator<String> it = subOptions.iterator();
		while (it.hasNext()) {
			String name = it.next();
			if (!isEditable(optionsGroup, name)) {
				it.remove();
			}

			// also filter out unregistered options
			if (!optionsGroup.isRegistered(name)) {
				it.remove();
			}
		}

		return subOptions;
	}
Updates programs with the latest option settings.
<p>
Details: This loops over every analyzer name in this panel and for
each, updates the associated enablement for all programs being
analyzed.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/analysis/AnalysisPanel.java