1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/samples/javabeans/src/org/apidesign/javabeans/without/HighlightsContainer.java	Sat Jun 14 09:54:22 2008 +0200
     1.3 @@ -0,0 +1,16 @@
     1.4 +package org.apidesign.javabeans.without;
     1.5 +
     1.6 +// BEGIN: javabeans.without
     1.7 +public interface HighlightsContainer {        
     1.8 +    public void initialize(Callback callback);
     1.9 +    public HighlightsSequence getHighlights(int startOffset, int endOffset);
    1.10 +
    1.11 +    public static final class Callback {
    1.12 +        Callback() { /* only for the infastructure */ }
    1.13 +
    1.14 +        public final void highlightsChanged() {
    1.15 +            // refresh everything
    1.16 +        }
    1.17 +    }
    1.18 +}
    1.19 +// END: javabeans.without