diff -r 000000000000 -r 461397695234 samples/javabeans/src/org/apidesign/javabeans/without/HighlightsContainer.java --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/samples/javabeans/src/org/apidesign/javabeans/without/HighlightsContainer.java Sat Jun 14 09:54:22 2008 +0200 @@ -0,0 +1,16 @@ +package org.apidesign.javabeans.without; + +// BEGIN: javabeans.without +public interface HighlightsContainer { + public void initialize(Callback callback); + public HighlightsSequence getHighlights(int startOffset, int endOffset); + + public static final class Callback { + Callback() { /* only for the infastructure */ } + + public final void highlightsChanged() { + // refresh everything + } + } +} +// END: javabeans.without