src/Tools/jEdit/plugin/Isabelle.props
author wenzelm
Sat, 23 May 2009 14:26:51 +0200
changeset 34571 ea86cc4e04c7
parent 34568 b517d0607297
child 34617 8d2c49605685
permissions -rw-r--r--
recovered iso-latin-1 text;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
34571
ea86cc4e04c7 recovered iso-latin-1 text;
wenzelm
parents: 34568
diff changeset
     7
plugin.isabelle.jedit.Plugin.author=Johannes Hlzl, 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