org.gjt.sp.jedit.bufferio
Class MarkersSaveRequest
java.lang.Object
org.gjt.sp.util.WorkRequest
org.gjt.sp.jedit.bufferio.MarkersSaveRequest
- All Implemented Interfaces:
- java.lang.Runnable, ProgressObserver
public class MarkersSaveRequest
- extends WorkRequest
A save request for markers. Factored out from BufferSaveRequest.java
Constructor Summary |
MarkersSaveRequest(View view,
Buffer buffer,
java.lang.Object session,
VFS vfs,
java.lang.String path)
Creates a new I/O request for markers. |
Method Summary |
void |
run()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ERROR_OCCURRED
public static final java.lang.String ERROR_OCCURRED
- See Also:
- Constant Field Values
view
protected View view
buffer
protected Buffer buffer
session
protected java.lang.Object session
vfs
protected VFS vfs
path
protected java.lang.String path
markersPath
protected java.lang.String markersPath
MarkersSaveRequest
public MarkersSaveRequest(View view,
Buffer buffer,
java.lang.Object session,
VFS vfs,
java.lang.String path)
- Creates a new I/O request for markers.
- Parameters:
view
- The viewbuffer
- The buffersession
- The VFS sessionvfs
- The VFSpath
- The path
run
public void run()