PageRenderTime 26ms CodeModel.GetById 25ms app.highlight 0ms RepoModel.GetById 1ms app.codeStats 0ms

/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
 1<?xml version="1.0"?>
 2
 3<!DOCTYPE SERVICES SYSTEM "services.dtd">
 4
 5<SERVICES>
 6	<!-- Virtual file systems -->
 7	<SERVICE CLASS="org.gjt.sp.jedit.io.VFS" NAME="favorites">
 8		new FavoritesVFS();
 9	</SERVICE>
10	<SERVICE CLASS="org.gjt.sp.jedit.io.VFS" NAME="roots">
11		new FileRootsVFS();
12	</SERVICE>
13
14	<!-- Fold handlers -->
15	<SERVICE CLASS="org.gjt.sp.jedit.buffer.FoldHandler" NAME="explicit">
16		new ExplicitFoldHandler();
17	</SERVICE>
18	<SERVICE CLASS="org.gjt.sp.jedit.buffer.FoldHandler" NAME="indent">
19		new IndentFoldHandler();
20	</SERVICE>
21	<SERVICE CLASS="org.gjt.sp.jedit.buffer.FoldHandler" NAME="none">
22		new DummyFoldHandler();
23	</SERVICE>
24</SERVICES>