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