src/Tools/jEdit/src/services.xml
author wenzelm
Thu May 08 00:14:06 2014 +0200 (2014-05-08)
changeset 56906 408b526911f7
parent 56585 a0e844c6e1ed
child 56936 6dd8866eca69
permissions -rw-r--r--
some odd tricks to provide "Detach" menu item, via "PIDE" docking framework;
     1 <?xml version="1.0"?>
     2 <!DOCTYPE SERVICES SYSTEM "services.dtd">
     3 
     4 <SERVICES>
     5   <SERVICE CLASS="org.gjt.sp.jedit.gui.DynamicContextMenuService" NAME="Spell_Checker">
     6     new isabelle.jedit.Context_Menu();
     7   </SERVICE>
     8 	<SERVICE CLASS="org.gjt.sp.jedit.gui.DockingFrameworkProvider" NAME="PIDE">
     9 		new org.gjt.sp.jedit.gui.PIDE_Docking_Framework();
    10 	</SERVICE>
    11   <SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding">
    12     new isabelle.jedit.Isabelle_Encoding();
    13   </SERVICE>
    14   <SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser">
    15     new isabelle.jedit.Isabelle_Sidekick_Default();
    16   </SERVICE>
    17   <SERVICE NAME="isabelle-markup" CLASS="sidekick.SideKickParser">
    18     new isabelle.jedit.Isabelle_Sidekick_Markup();
    19   </SERVICE>
    20   <SERVICE NAME="isabelle-news" CLASS="sidekick.SideKickParser">
    21     new isabelle.jedit.Isabelle_Sidekick_News();
    22   </SERVICE>
    23   <SERVICE NAME="isabelle-options" CLASS="sidekick.SideKickParser">
    24     new isabelle.jedit.Isabelle_Sidekick_Options();
    25   </SERVICE>
    26   <SERVICE NAME="isabelle-root" CLASS="sidekick.SideKickParser">
    27     new isabelle.jedit.Isabelle_Sidekick_Root();
    28   </SERVICE>
    29   <SERVICE CLASS="console.Shell" NAME="Scala">
    30     new isabelle.jedit.Scala_Console();
    31   </SERVICE>
    32 </SERVICES>