/jEdit/tags/jedit-4-3-pre5/org/gjt/sp/jedit/services.xml
XML | 24 lines | 19 code | 3 blank | 2 comment | 0 complexity | 47cb61c87856c4c49d71d3dac90c2808 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
- <?xml version="1.0"?>
- <!DOCTYPE SERVICES SYSTEM "services.dtd">
- <SERVICES>
- <!-- Virtual file systems -->
- <SERVICE CLASS="org.gjt.sp.jedit.io.VFS" NAME="favorites">
- new FavoritesVFS();
- </SERVICE>
- <SERVICE CLASS="org.gjt.sp.jedit.io.VFS" NAME="roots">
- new FileRootsVFS();
- </SERVICE>
- <!-- Fold handlers -->
- <SERVICE CLASS="org.gjt.sp.jedit.buffer.FoldHandler" NAME="explicit">
- new ExplicitFoldHandler();
- </SERVICE>
- <SERVICE CLASS="org.gjt.sp.jedit.buffer.FoldHandler" NAME="indent">
- new IndentFoldHandler();
- </SERVICE>
- <SERVICE CLASS="org.gjt.sp.jedit.buffer.FoldHandler" NAME="none">
- new DummyFoldHandler();
- </SERVICE>
- </SERVICES>