@Override
	protected void dispose() {
		navOptions.dispose();
		super.dispose();
	}
Plugin to go to the next or previous selected range in the program.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/navigation/NextPrevSelectedRangePlugin.java