isabelle: src/Tools/jEdit/src/services.xml@f05ccce3eca2 (annotated)

34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	1	<?xml version="1.0"?>
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	2	<!DOCTYPE SERVICES SYSTEM "services.dtd">
34760 dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34738 diff changeset	3
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	4	<SERVICES>
56576 86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	5	<SERVICE CLASS="org.gjt.sp.jedit.gui.DynamicContextMenuService" NAME="Spell_Checker">
56585 a0e844c6e1ed common context menu for Isabelle/jEdit; wenzelm parents: 56576 diff changeset	6	new isabelle.jedit.Context_Menu();
56576 86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	7	</SERVICE>
56906 408b526911f7 some odd tricks to provide "Detach" menu item, via "PIDE" docking framework; wenzelm parents: 56585 diff changeset	8	<SERVICE CLASS="org.gjt.sp.jedit.gui.DockingFrameworkProvider" NAME="PIDE">
56936 6dd8866eca69 more direct patch of public interface DockableWindowContainer -- avoid package org.gjt.sp.jedit.gui intrusion; wenzelm parents: 56906 diff changeset	9	new isabelle.jedit.PIDE_Docking_Framework();
56906 408b526911f7 some odd tricks to provide "Detach" menu item, via "PIDE" docking framework; wenzelm parents: 56585 diff changeset	10	</SERVICE>
56576 86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	11	<SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding">
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	12	new isabelle.jedit.Isabelle_Encoding();
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	13	</SERVICE>
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	14	<SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser">
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	15	new isabelle.jedit.Isabelle_Sidekick_Default();
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	16	</SERVICE>
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	17	<SERVICE NAME="isabelle-markup" CLASS="sidekick.SideKickParser">
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	18	new isabelle.jedit.Isabelle_Sidekick_Markup();
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	19	</SERVICE>
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	20	<SERVICE NAME="isabelle-news" CLASS="sidekick.SideKickParser">
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	21	new isabelle.jedit.Isabelle_Sidekick_News();
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	22	</SERVICE>
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	23	<SERVICE NAME="isabelle-options" CLASS="sidekick.SideKickParser">
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	24	new isabelle.jedit.Isabelle_Sidekick_Options();
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	25	</SERVICE>
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	26	<SERVICE NAME="isabelle-root" CLASS="sidekick.SideKickParser">
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	27	new isabelle.jedit.Isabelle_Sidekick_Root();
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	28	</SERVICE>
58526 f05ccce3eca2 SideKick parser for bibtex entries; wenzelm parents: 56936 diff changeset	29	<SERVICE NAME="bibtex" CLASS="sidekick.SideKickParser">
f05ccce3eca2 SideKick parser for bibtex entries; wenzelm parents: 56936 diff changeset	30	new isabelle.jedit.Isabelle_Sidekick_Bibtex();
f05ccce3eca2 SideKick parser for bibtex entries; wenzelm parents: 56936 diff changeset	31	</SERVICE>
56576 86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	32	<SERVICE CLASS="console.Shell" NAME="Scala">
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	33	new isabelle.jedit.Scala_Console();
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	34	</SERVICE>
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	35	</SERVICES>

author	wenzelm
	Fri, 03 Oct 2014 14:46:26 +0200
changeset 58526	f05ccce3eca2
parent 56936	6dd8866eca69
child 58546	72e2b2a609c4
permissions	-rw-r--r--