changeset 102 | 461397695234 |
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/samples/javabeans/src/org/apidesign/javabeans/toomany/HighlightsChangeEvent.java Sat Jun 14 09:54:22 2008 +0200 1.3 @@ -0,0 +1,9 @@ 1.4 +package org.apidesign.javabeans.toomany; 1.5 + 1.6 +import java.util.EventObject; 1.7 + 1.8 +public class HighlightsChangeEvent extends EventObject { 1.9 + public HighlightsChangeEvent(HighlightsContainer source, int changeStartOffset, int changeEndOffset) { 1.10 + super(source); 1.11 + } 1.12 +}