Examples of org.gjt.sp.jedit.Buffer$PropValue

org.gjt.sp.jedit.Buffer
A Buffer represents the contents of an open text file as it is maintained in the computer's memory (as opposed to how it may be stored on a disk).
In a BeanShell script, you can obtain the current buffer instance from the buffer variable.
This class does not have a public constructor. Buffers can be opened and closed using methods in the jEdit class.
This class is partially thread-safe, however you must pay attention to two very important guidelines:
- Changes to a buffer can only be made from the AWT thread.
- When accessing the buffer from another thread, you must grab a read lock if you plan on performing more than one call, to ensure that the buffer contents are not changed by the AWT thread for the duration of the lock. Only methods whose descriptions specify thread safety can be invoked from other threads.
@author Slava Pestov @version $Id: Buffer.java,v 1.218 2004/06/04 00:18:34 spestov Exp $


    try
    {
      if(selection != null)
      {
        Buffer buffer = view.getBuffer();


        searchInSelection(buffer);
      }
      else
      {
        int current = 0;


loop:        for(int i = 0; i < files.length; i++)
        {
          String file = files[i];
          current++;


          long currentTime = System.currentTimeMillis();
          if(currentTime - lastStatusTime > 250)
          {
            setProgressValue(current);
            lastStatusTime = currentTime;
          }


          Buffer buffer = jEdit.openTemporary(null,null,file,false);
          if(buffer == null)
            continue loop;


          doHyperSearch(buffer);
        };

View Full Code Here

    Rectangle clipRect = gfx.getClipBounds();


    gfx.setColor(getBackground());
    gfx.fillRect(clipRect.x,clipRect.y,clipRect.width,clipRect.height);


    Buffer buffer = textArea.getBuffer();
    if(!buffer.isLoaded())
      return;


    int height = fm.getHeight();
    if(height == 0)
      return;

View Full Code Here

    public void paintValidLine(Graphics2D gfx, int screenLine,
      int physicalLine, int start, int end, int y)
    {
      // minimise access$ methods
      JEditTextArea textArea = TextAreaPainter.this.textArea;
      Buffer buffer = textArea.getBuffer();


      //{{{ Paint line highlight and collapsed fold highlight
      boolean collapsedFold =
        (physicalLine < buffer.getLineCount() - 1
        && buffer.isFoldStart(physicalLine)
        && !textArea.displayManager
        .isLineVisible(physicalLine + 1));


      SyntaxStyle foldLineStyle = null;
      if(collapsedFold)
      {
        int level = buffer.getFoldLevel(physicalLine + 1);
        if(buffer.getFoldHandler() instanceof IndentFoldHandler)
          level = Math.max(1,level / buffer.getIndentSize());
        if(level > 3)
          level = 0;
        foldLineStyle = TextAreaPainter.this.foldLineStyle[level];
      }

View Full Code Here

        x += Chunk.paintChunkList(lineInfo.chunks,
          gfx,textArea.getHorizontalOffset(),
          baseLine,!Debug.DISABLE_GLYPH_VECTOR);
      }


      Buffer buffer = textArea.getBuffer();


      if(!lineInfo.lastSubregion)
      {
        gfx.setFont(defaultFont);
        gfx.setColor(eolMarkerColor);
        gfx.drawString(":",Math.max(x,
          textArea.getHorizontalOffset()
          + textArea.getDisplayManager().wrapMargin + textArea.charWidth),
          baseLine);
        x += textArea.charWidth;
      }
      else if(physicalLine < buffer.getLineCount() - 1
        && buffer.isFoldStart(physicalLine)
        && !textArea.displayManager
        .isLineVisible(physicalLine + 1))
      {
        int level = buffer.getFoldLevel(physicalLine + 1);
        if(buffer.getFoldHandler() instanceof IndentFoldHandler)
          level = Math.max(1,level / buffer.getIndentSize());
        if(level > 3)
          level = 0;
        SyntaxStyle foldLineStyle = TextAreaPainter.this.foldLineStyle[level];


        Font font = foldLineStyle.getFont();

View Full Code Here

              SetupInfo.getProperty(SetupInfo.WORDPROCESSOR) + " : error message =" + ex);
        }
      } else {
        try {
          File tmpFile = File.createTempFile("lazy8report", ".txt", null);
          Buffer buf = jEdit.openFile(view, null, tmpFile.getPath(), true, new Hashtable());
          buf.insert(0, jTextArea.toString());
        } catch (Exception e) {
          e.printStackTrace();
        }
      }
    }

View Full Code Here

TOP

Related Classes of org.gjt.sp.jedit.Buffer$PropValue

nu.lazy8.ledger.reports.TextReport

org.gjt.sp.jedit.search.HyperSearchRequest

org.gjt.sp.jedit.textarea.TextAreaPainter

org.gjt.sp.jedit.textarea.TextAreaPainter$PaintLineBackground

org.gjt.sp.jedit.textarea.TextAreaPainter$PaintText

java.io.File

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.