src/Tools/jEdit/src/services.xml
author wenzelm
Mon Apr 14 23:13:10 2014 +0200 (2014-04-14)
changeset 56576 86148ca3c4fd
parent 53281 251e1a2aa792
child 56585 a0e844c6e1ed
permissions -rw-r--r--
added context menu for spell checker actions;
wenzelm@34318
     1
<?xml version="1.0"?>
wenzelm@34318
     2
<!DOCTYPE SERVICES SYSTEM "services.dtd">
wenzelm@34760
     3
wenzelm@34318
     4
<SERVICES>
wenzelm@56576
     5
  <SERVICE CLASS="org.gjt.sp.jedit.gui.DynamicContextMenuService" NAME="Spell_Checker">
wenzelm@56576
     6
    new isabelle.jedit.Spell_Checker_Menu();
wenzelm@56576
     7
  </SERVICE>
wenzelm@56576
     8
  <SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding">
wenzelm@56576
     9
    new isabelle.jedit.Isabelle_Encoding();
wenzelm@56576
    10
  </SERVICE>
wenzelm@56576
    11
  <SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser">
wenzelm@56576
    12
    new isabelle.jedit.Isabelle_Sidekick_Default();
wenzelm@56576
    13
  </SERVICE>
wenzelm@56576
    14
  <SERVICE NAME="isabelle-markup" CLASS="sidekick.SideKickParser">
wenzelm@56576
    15
    new isabelle.jedit.Isabelle_Sidekick_Markup();
wenzelm@56576
    16
  </SERVICE>
wenzelm@56576
    17
  <SERVICE NAME="isabelle-news" CLASS="sidekick.SideKickParser">
wenzelm@56576
    18
    new isabelle.jedit.Isabelle_Sidekick_News();
wenzelm@56576
    19
  </SERVICE>
wenzelm@56576
    20
  <SERVICE NAME="isabelle-options" CLASS="sidekick.SideKickParser">
wenzelm@56576
    21
    new isabelle.jedit.Isabelle_Sidekick_Options();
wenzelm@56576
    22
  </SERVICE>
wenzelm@56576
    23
  <SERVICE NAME="isabelle-root" CLASS="sidekick.SideKickParser">
wenzelm@56576
    24
    new isabelle.jedit.Isabelle_Sidekick_Root();
wenzelm@56576
    25
  </SERVICE>
wenzelm@56576
    26
  <SERVICE CLASS="console.Shell" NAME="Scala">
wenzelm@56576
    27
    new isabelle.jedit.Scala_Console();
wenzelm@56576
    28
  </SERVICE>
wenzelm@34318
    29
</SERVICES>