From: <kp...@us...> - 2008-02-22 19:48:57
|
Revision: 11848 http://jedit.svn.sourceforge.net/jedit/?rev=11848&view=rev Author: kpouer Date: 2008-02-22 11:48:54 -0800 (Fri, 22 Feb 2008) Log Message: ----------- added javadoc Modified Paths: -------------- jEdit/trunk/org/gjt/sp/jedit/textarea/DisplayManager.java Modified: jEdit/trunk/org/gjt/sp/jedit/textarea/DisplayManager.java =================================================================== --- jEdit/trunk/org/gjt/sp/jedit/textarea/DisplayManager.java 2008-02-22 09:33:54 UTC (rev 11847) +++ jEdit/trunk/org/gjt/sp/jedit/textarea/DisplayManager.java 2008-02-22 19:48:54 UTC (rev 11848) @@ -195,6 +195,13 @@ } //}}} //{{{ getScrollLineCount() method + /** + * Returns the number of displayable lines + * It can be greater than the number of lines of the buffer when using + * soft wrap (a line can count for n lines), or when using folding, if + * the foldings are collapsed + * @return the number of displayable lines + */ public final int getScrollLineCount() { return scrollLineCount.scrollLine; @@ -707,9 +714,9 @@ //{{{ Private members private boolean initialized; private boolean inUse; - private JEditBuffer buffer; - private TextArea textArea; - private BufferHandler bufferHandler; + private final JEditBuffer buffer; + private final TextArea textArea; + private final BufferHandler bufferHandler; //{{{ DisplayManager constructor private DisplayManager(JEditBuffer buffer, TextArea textArea, This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |