@Override
		public void update(Observable o, Object arg) {

			// Before rebuilding the UI, remember the splitter location so we can reset it
			// afterwards.
			if (verticalSplitter != null) {
				splitterSave = verticalSplitter.getDividerLocation();
			}

			if (arg instanceof UpdateType) {
				UpdateType type = (UpdateType) arg;
				switch (type) {
					case RELOAD:
						revalidate();
						break;
					case UPDATE:
						// do nothing
				}
			}
		}
Part of the {@link Observer} structure. This is invoked whenever the
{@link InstructionSearchData} class is updated, indicating that the
user has selected a new set of instructions, or changed mask
settings. When this happens we need to save off the splitter location
and reload the dialog if necessary.

@param o
@param arg
Ghidra/Features/Base/ghidra_scripts/YaraGhidraGUIScript.java