org.gjt.sp.jedit.io |
|
Java Source File Name | Type | Comment |
AutoDetection.java | Class | Some functions for auto detection of I/O stream properties. |
BufferLocalEncodingDetector.java | Class | An encoding detector which finds buffer-local-property syntax.
This reads the sample in the system default encoding for first 10
lines and look for ":encoding=..." syntax. |
CharsetEncoding.java | Class | Encodings which are provided by java.nio.charset.Charset. |
Encoding.java | Interface | An interface to represent an encoding.
An encoding is a mapping between a character stream and a byte
stream. |
EncodingDetector.java | Interface | An interface to detect a reasonable encoding from some bytes at the
beginning of a file. |
EncodingServer.java | Class | A class for some static methods to deal with encodings. |
EncodingWithBOM.java | Class | Encodings which have BOM at the beginning of byte stream. |
FavoritesVFS.java | Class | A VFS used for remembering frequently-visited directories. |
FileRootsVFS.java | Class | A VFS that lists local root filesystems. |
FileVFS.java | Class | Local filesystem VFS. |
GlobVFSFileFilter.java | Class | Implementation of
VFSFileFilter that uses Unix-style globs
to filter files. |
UrlVFS.java | Class | URL VFS. |
VFS.java | Class | A virtual filesystem implementation.
Plugins can provide virtual file systems by defining entries in their
services.xml files like so:
<SERVICE CLASS="org.gjt.sp.jedit.io.VFS" NAME="name">
new MyVFS();
</SERVICE>
URLs of the form name:path will then be handled
by the VFS named name .
See
org.gjt.sp.jedit.ServiceManager for details.
Session objects:
A session is used to persist things like login information, any network
sockets, etc. |
VFSFile.java | Class | A directory entry returned from a file listing. |
VFSFileFilter.java | Interface | An interface similar to java.io.FilenameFilter , that
is used by
org.gjt.sp.jedit.browser.VFSBrowser to define what
files to show in the directory view. |
VFSManager.java | Class | jEdit's virtual filesystem allows it to transparently edit files
stored elsewhere than the local filesystem, for example on an FTP
site. |
XMLEncodingDetector.java | Class | An encoding detector which extracts encoding from XML declaration. |