src/Tools/jEdit/src/services.xml
author wenzelm
Thu Oct 16 12:09:57 2014 +0200 (2014-10-16)
changeset 58694 983e98da2a42
parent 58546 72e2b2a609c4
child 63606 fc3a23763617
permissions -rw-r--r--
support line context with depth;
basic setup for "isabelle" fold handling;
misc tuning;
     1 <?xml version="1.0"?>
     2 <!DOCTYPE SERVICES SYSTEM "services.dtd">
     3 
     4 <SERVICES>
     5   <SERVICE CLASS="org.gjt.sp.jedit.buffer.FoldHandler" NAME="isabelle">
     6     new isabelle.jedit.Fold_Handling.Fold_Handler();
     7   </SERVICE>
     8   <SERVICE CLASS="org.gjt.sp.jedit.gui.DynamicContextMenuService" NAME="Spell_Checker">
     9     new isabelle.jedit.Context_Menu();
    10   </SERVICE>
    11   <SERVICE CLASS="org.gjt.sp.jedit.gui.DockingFrameworkProvider" NAME="PIDE">
    12     new isabelle.jedit.PIDE_Docking_Framework();
    13   </SERVICE>
    14   <SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding">
    15     new isabelle.jedit.Isabelle_Encoding();
    16   </SERVICE>
    17   <SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser">
    18     new isabelle.jedit.Isabelle_Sidekick_Default();
    19   </SERVICE>
    20   <SERVICE NAME="isabelle-markup" CLASS="sidekick.SideKickParser">
    21     new isabelle.jedit.Isabelle_Sidekick_Markup();
    22   </SERVICE>
    23   <SERVICE NAME="isabelle-news" CLASS="sidekick.SideKickParser">
    24     new isabelle.jedit.Isabelle_Sidekick_News();
    25   </SERVICE>
    26   <SERVICE NAME="isabelle-options" CLASS="sidekick.SideKickParser">
    27     new isabelle.jedit.Isabelle_Sidekick_Options();
    28   </SERVICE>
    29   <SERVICE NAME="isabelle-root" CLASS="sidekick.SideKickParser">
    30     new isabelle.jedit.Isabelle_Sidekick_Root();
    31   </SERVICE>
    32   <SERVICE NAME="bibtex" CLASS="sidekick.SideKickParser">
    33     new isabelle.jedit.Bibtex_JEdit.Sidekick_Parser();
    34   </SERVICE>
    35   <SERVICE CLASS="console.Shell" NAME="Scala">
    36     new isabelle.jedit.Scala_Console();
    37   </SERVICE>
    38 </SERVICES>