src/Tools/jEdit/src/services.xml
author wenzelm
Thu Aug 04 20:55:36 2016 +0200 (2016-08-04)
changeset 63606 fc3a23763617
parent 58694 983e98da2a42
child 63610 4b40b8196dc7
permissions -rw-r--r--
support for context block structure in Sidekick;
tuned;
     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-context" CLASS="sidekick.SideKickParser">
    21     new isabelle.jedit.Isabelle_Sidekick_Context();
    22   </SERVICE>
    23   <SERVICE NAME="isabelle-markup" CLASS="sidekick.SideKickParser">
    24     new isabelle.jedit.Isabelle_Sidekick_Markup();
    25   </SERVICE>
    26   <SERVICE NAME="isabelle-news" CLASS="sidekick.SideKickParser">
    27     new isabelle.jedit.Isabelle_Sidekick_News();
    28   </SERVICE>
    29   <SERVICE NAME="isabelle-options" CLASS="sidekick.SideKickParser">
    30     new isabelle.jedit.Isabelle_Sidekick_Options();
    31   </SERVICE>
    32   <SERVICE NAME="isabelle-root" CLASS="sidekick.SideKickParser">
    33     new isabelle.jedit.Isabelle_Sidekick_Root();
    34   </SERVICE>
    35   <SERVICE NAME="bibtex" CLASS="sidekick.SideKickParser">
    36     new isabelle.jedit.Bibtex_JEdit.Sidekick_Parser();
    37   </SERVICE>
    38   <SERVICE CLASS="console.Shell" NAME="Scala">
    39     new isabelle.jedit.Scala_Console();
    40   </SERVICE>
    41 </SERVICES>