isabelle: src/Tools/jEdit/plugin/Isabelle.props@b517d0607297 (annotated)

34418 5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	1	## Isabelle plugin properties
34520 909b2610da52 recovered activate=defer, which is the "new" way to invoke jEdit plugins (cf. 3fbb7b565013); wenzelm parents: 34512 diff changeset	2	##
909b2610da52 recovered activate=defer, which is the "new" way to invoke jEdit plugins (cf. 3fbb7b565013); wenzelm parents: 34512 diff changeset	3	##:encoding=ISO-8859-1:
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	4
34418 5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	5	#identification
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	6	plugin.isabelle.jedit.Plugin.name=Isabelle
34542 e647f063ffad merged: resolved conflicts with Markups: ML-syntax styles in styles.props immler@in.tum.de parents: 34520 diff changeset	7	plugin.isabelle.jedit.Plugin.author=Johannes H�lzl, Fabian Immler, Makarius Wenzel
34418 5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	8	plugin.isabelle.jedit.Plugin.version=0.0.1
34421 c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	9	plugin.isabelle.jedit.Plugin.description=Isabelle/Isar live document editing
34418 5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	10
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	11	#system parameters
34520 909b2610da52 recovered activate=defer, which is the "new" way to invoke jEdit plugins (cf. 3fbb7b565013); wenzelm parents: 34512 diff changeset	12	# jEdit only needs to load the plugin the first time the user accesses it
909b2610da52 recovered activate=defer, which is the "new" way to invoke jEdit plugins (cf. 3fbb7b565013); wenzelm parents: 34512 diff changeset	13	# the presence of this property (activate=defer) also tells jEdit the plugin is using the new API
34543 b32b20f0692f when jEdit is run from Netbeans, activate=defer does not work (why?) immler@in.tum.de parents: 34542 diff changeset	14	# plugin.isabelle.jedit.Plugin.activate=defer
b32b20f0692f when jEdit is run from Netbeans, activate=defer does not work (why?) immler@in.tum.de parents: 34542 diff changeset	15	#
b32b20f0692f when jEdit is run from Netbeans, activate=defer does not work (why?) immler@in.tum.de parents: 34542 diff changeset	16	# for some reasons, activate=defer does not work when jEdit is run from Netbeans
b32b20f0692f when jEdit is run from Netbeans, activate=defer does not work (why?) immler@in.tum.de parents: 34542 diff changeset	17	plugin.isabelle.jedit.Plugin.activate=startup
34418 5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	18	plugin.isabelle.jedit.Plugin.usePluginHome=false
34512 14d70378f1c7 modified netbeans build such that dist can be used as settings-directory for jedit; immler@in.tum.de parents: 34427 diff changeset	19	plugin.isabelle.jedit.Plugin.jars=Pure.jar core-renderer.jar scala-library.jar
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	20
34418 5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	21	#dependencies
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	22	plugin.isabelle.jedit.Plugin.depend.0=jdk 1.5
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	23	plugin.isabelle.jedit.Plugin.depend.1=jedit 04.03.14.00
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	24	plugin.isabelle.jedit.Plugin.depend.2=plugin errorlist.ErrorListPlugin 1.7
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	25	plugin.isabelle.jedit.Plugin.depend.3=plugin sidekick.SideKickPlugin 0.7.6
34563 0c1c8f8ee384 added hyperlink plugin immler@in.tum.de parents: 34543 diff changeset	26	plugin.isabelle.jedit.Plugin.depend.4=plugin gatchan.jedit.hyperlinks.HyperlinksPlugin 1.0.1
34418 5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	27
34420 4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	28	#options
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	29	plugin.isabelle.jedit.Plugin.option-pane=isabelle
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	30	options.isabelle.label=Isabelle
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	31	options.isabelle.code=new isabelle.jedit.OptionPane();
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	32	options.isabelle.font-path.title=Font Path
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	33	options.isabelle.font-size.title=Font Size
34512 14d70378f1c7 modified netbeans build such that dist can be used as settings-directory for jedit; immler@in.tum.de parents: 34427 diff changeset	34	options.isabelle.font-size=18
34420 4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	35
34421 c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	36	#menu actions
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	37	plugin.isabelle.jedit.Plugin.menu.label=Isabelle
34427 46aff93a5863 tuned order of menu items; wenzelm parents: 34421 diff changeset	38	plugin.isabelle.jedit.Plugin.menu=isabelle.activate isabelle.show-state isabelle.show-output isabelle.show-scroller
46aff93a5863 tuned order of menu items; wenzelm parents: 34421 diff changeset	39	isabelle.activate.label=Activate current buffer
34421 c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	40	isabelle.show-state.label=Show State
34427 46aff93a5863 tuned order of menu items; wenzelm parents: 34421 diff changeset	41	isabelle.show-output.label=Show Output
34421 c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	42	isabelle.show-scroller.label=Show Scroller
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	43
34421 c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	44	#dockables
c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	45	isabelle-output.title=Isabelle Output
c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	46	isabelle-state.title=Isabelle State
c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	47	isabelle-scroller.title=Isabelle Scroller
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	48
34421 c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	49	#SideKick
34393 f0e1608a774f basic tree structure for sidekick immler@in.tum.de parents: 34342 diff changeset	50	sidekick.parser.isabelle.label=Isabelle
34420 4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	51	mode.isabelle.sidekick.parser=isabelle
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	52	mode.ml.sidekick.parser=isabelle
34568 b517d0607297 implemented IsabelleHyperlinkSource (only links inside the current buffer) immler@in.tum.de parents: 34563 diff changeset	53
b517d0607297 implemented IsabelleHyperlinkSource (only links inside the current buffer) immler@in.tum.de parents: 34563 diff changeset	54	#Hyperlinks
b517d0607297 implemented IsabelleHyperlinkSource (only links inside the current buffer) immler@in.tum.de parents: 34563 diff changeset	55	mode.isabelle.hyperlink.source=isabelle

author	immler@in.tum.de
	Fri, 22 May 2009 14:47:57 +0200
changeset 34568	b517d0607297
parent 34563	0c1c8f8ee384
child 34571	ea86cc4e04c7
permissions	-rw-r--r--