Module jEdit

Class MarkersSaveRequest

java.lang.Object
org.gjt.sp.util.Task
org.gjt.sp.jedit.bufferio.MarkersSaveRequest
All Implemented Interfaces:
Runnable, ProgressObserver

public class MarkersSaveRequest extends Task
A save request for markers. Factored out from BufferSaveRequest.java
Author:
Martin Raspe created May 20, 2005 modified $Date: 2006/03/10 12:49:17 $ by $Author: hertzhaft $
  • Field Details

  • Constructor Details

    • MarkersSaveRequest

      public MarkersSaveRequest(View view, Buffer buffer, Object session, VFS vfs, String path)
      Creates a new I/O request for markers.
      Parameters:
      view - The view
      buffer - The buffer
      session - The VFS session
      vfs - The VFS
      path - The path
  • Method Details

    • _run

      public void _run()
      Description copied from class: Task
      This is the method you have to implement and that will be executed in the thread.
      Specified by:
      _run in class Task