java.lang.Object
org.gjt.sp.util.Task
org.gjt.sp.jedit.bufferio.MarkersSaveRequest
- All Implemented Interfaces:
Runnable
,ProgressObserver
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 Summary
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
_run()
This is the method you have to implement and that will be executed in the thread.Methods inherited from class org.gjt.sp.util.Task
cancel, getLabel, getMaximum, getState, getStatus, getValue, isCancellable, run, setCancellable, setLabel, setMaximum, setStatus, setValue, toString
-
Field Details
-
ERROR_OCCURRED
- See Also:
-
view
-
buffer
-
session
-
vfs
-
path
-
markersPath
-
-
Constructor Details
-
MarkersSaveRequest
Creates a new I/O request for markers.- Parameters:
view
- The viewbuffer
- The buffersession
- The VFS sessionvfs
- The VFSpath
- The path
-
-
Method Details