1 package de.fzi.wim.guibase.graphview.lens;
2
3 import java.util.EventListener;
4
5 /***
6 * A that gets notified when the lens changes its parameters.
7 */
8 public interface LensListener extends EventListener {
9 /***
10 * Called whenever the lens changes its parameters.
11 *
12 * @param lens the lens that changed its parameters
13 */
14 void lensUpdated(Lens lens);
15 }