src/Tools/jEdit/src/services.xml
author wenzelm
Sun May 11 20:23:08 2014 +0200 (2014-05-11)
changeset 56936 6dd8866eca69
parent 56906 408b526911f7
child 58526 f05ccce3eca2
permissions -rw-r--r--
more direct patch of public interface DockableWindowContainer -- avoid package org.gjt.sp.jedit.gui intrusion;
prefer JDialog for FloatingWindowContainer, to keep it in front of the main window;
updated to Navigator.jar 2.5, SideKick.jar 1.6;
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@56585
     6
    new isabelle.jedit.Context_Menu();
wenzelm@56576
     7
  </SERVICE>
wenzelm@56906
     8
	<SERVICE CLASS="org.gjt.sp.jedit.gui.DockingFrameworkProvider" NAME="PIDE">
wenzelm@56936
     9
		new isabelle.jedit.PIDE_Docking_Framework();
wenzelm@56906
    10
	</SERVICE>
wenzelm@56576
    11
  <SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding">
wenzelm@56576
    12
    new isabelle.jedit.Isabelle_Encoding();
wenzelm@56576
    13
  </SERVICE>
wenzelm@56576
    14
  <SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser">
wenzelm@56576
    15
    new isabelle.jedit.Isabelle_Sidekick_Default();
wenzelm@56576
    16
  </SERVICE>
wenzelm@56576
    17
  <SERVICE NAME="isabelle-markup" CLASS="sidekick.SideKickParser">
wenzelm@56576
    18
    new isabelle.jedit.Isabelle_Sidekick_Markup();
wenzelm@56576
    19
  </SERVICE>
wenzelm@56576
    20
  <SERVICE NAME="isabelle-news" CLASS="sidekick.SideKickParser">
wenzelm@56576
    21
    new isabelle.jedit.Isabelle_Sidekick_News();
wenzelm@56576
    22
  </SERVICE>
wenzelm@56576
    23
  <SERVICE NAME="isabelle-options" CLASS="sidekick.SideKickParser">
wenzelm@56576
    24
    new isabelle.jedit.Isabelle_Sidekick_Options();
wenzelm@56576
    25
  </SERVICE>
wenzelm@56576
    26
  <SERVICE NAME="isabelle-root" CLASS="sidekick.SideKickParser">
wenzelm@56576
    27
    new isabelle.jedit.Isabelle_Sidekick_Root();
wenzelm@56576
    28
  </SERVICE>
wenzelm@56576
    29
  <SERVICE CLASS="console.Shell" NAME="Scala">
wenzelm@56576
    30
    new isabelle.jedit.Scala_Console();
wenzelm@56576
    31
  </SERVICE>
wenzelm@34318
    32
</SERVICES>