public void setValue(long filePos) {
		int sliderPos = getSliderPosition(filePos);
		super.setValue(sliderPos);
	}
Sets the value of the slider based on the given file position.

@param filePos
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/logviewer/ui/FVSlider.java