samples/javabeans/src/org/apidesign/javabeans/with/HighlightsContainer.java
changeset 154 0fd5e9c500b9
parent 153 b5cbb797ec0a
     1.1 --- a/samples/javabeans/src/org/apidesign/javabeans/with/HighlightsContainer.java	Sat Jun 14 09:58:08 2008 +0200
     1.2 +++ b/samples/javabeans/src/org/apidesign/javabeans/with/HighlightsContainer.java	Sat Jun 14 09:58:11 2008 +0200
     1.3 @@ -2,8 +2,8 @@
     1.4  
     1.5  // BEGIN: javabeans.with.HighlightsContainer
     1.6  public interface HighlightsContainer {        
     1.7 -  public void addHighlightsChangeListener(HighlightsChangeListener listener);
     1.8 -  public HighlightsSequence getHighlights(int startOffset, int endOffset);
     1.9 -  public void removeHighlightsChangeListener(HighlightsChangeListener listener);
    1.10 +  public void addHighlightsChangeListener(HighlightsChangeListener l);
    1.11 +  public HighlightsSequence getHighlights(int start, int end);
    1.12 +  public void removeHighlightsChangeListener(HighlightsChangeListener l);
    1.13  }
    1.14  // END: javabeans.with.HighlightsContainer