1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/samples/javabeans/src/org/apidesign/javabeans/with/HighlightsContainer.java	Sat Jun 14 09:54:22 2008 +0200
     1.3 @@ -0,0 +1,9 @@
     1.4 +package org.apidesign.javabeans.with;
     1.5 +
     1.6 +// BEGIN: javabeans.with.HighlightsContainer
     1.7 +public interface HighlightsContainer {        
     1.8 +  public void addHighlightsChangeListener(HighlightsChangeListener listener);
     1.9 +  public HighlightsSequence getHighlights(int startOffset, int endOffset);
    1.10 +  public void removeHighlightsChangeListener(HighlightsChangeListener listener);
    1.11 +}
    1.12 +// END: javabeans.with.HighlightsContainer