changeset 102 | 461397695234 |
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/samples/javabeans/src/org/apidesign/javabeans/with/HighlightsChangeListener.java Sat Jun 14 09:54:22 2008 +0200 1.3 @@ -0,0 +1,7 @@ 1.4 +package org.apidesign.javabeans.with; 1.5 + 1.6 +import java.util.EventListener; 1.7 + 1.8 +public interface HighlightsChangeListener extends EventListener { 1.9 + public void highlightChanged(HighlightsChangeEvent ev); 1.10 +}