package org.rr.jeborker.app.preferences;
import java.util.EventListener;
public class JeboorkerPreferenceListener implements EventListener {
/**
* Triggered if the value for the auto scrolling tree has changed.
*/
public void treeAutoScrollingChanged(boolean value) {
}
}