public OptionDialogBuilder addOption(String optionName) {
		options.add(optionName);
		return this;
	}
Adds a button option to the dialog.

@param optionName the name of the button to be added to the dialog
@return this builder object.
Ghidra/Framework/Docking/src/main/java/docking/widgets/OptionDialogBuilder.java