Examples of org.gjt.sp.jedit.textarea.Selection

org.gjt.sp.jedit.textarea.Selection
An abstract class that holds data on a region of selected text. As an abstract class, it cannot be used directly, but instead serves as a parent class for two specific types of selection structures:
- {@link Selection.Range} - represents an ordinary range of selected text.
- {@link Selection.Rect} - represents a rectangular selection.
@author Slava Pestov @author John Gellene (API documentation) @version $Id: Selection.java,v 1.22 2004/04/06 19:05:31 spestov Exp $ @since jEdit 3.2pre1

    {
      buffer.readLock();


      for(int i = 0; i < selection.length; i++)
      {
        Selection s = selection[i];
        if(s instanceof Selection.Rect)
        {
          for(int j = s.getStartLine();
            j <= s.getEndLine(); j++)
          {
            resultCount += doHyperSearch(buffer,
              s.getStart(buffer,j),
              s.getEnd(buffer,j));
          }
        }
        else
        {
          resultCount += doHyperSearch(buffer,
            s.getStart(),s.getEnd());
        }
      }
    }
    finally
    {

View Full Code Here

TOP

Related Classes of org.gjt.sp.jedit.textarea.Selection

org.gjt.sp.jedit.search.HyperSearchRequest

java.util.ArrayList

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.