private boolean isEditable(Options options, String optionName) {
		PropertyEditor editor = options.getPropertyEditor(optionName);
		return options.getObject(optionName, null) != null || editor != null;
	}
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