src/Tools/jEdit/plugin/Isabelle.props
author wenzelm
Wed, 01 Dec 2010 21:07:50 +0100
changeset 40849 09270033330e
parent 40848 8662b9b1f123
child 41557 b46ec69f1c60
permissions -rw-r--r--
store tooltip-dismiss-delay as Double(seconds);
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
##
39515
57ceabb0bb8e basic setup for prover session panel;
wenzelm
parents: 38854
diff changeset
     3
##:encoding=ISO-8859-1:wrap=soft:maxLineLen=100:
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
34879
032e14798e16 updated version and dependencies;
wenzelm
parents: 34820
diff changeset
     8
plugin.isabelle.jedit.Plugin.version=0.1.0
032e14798e16 updated version and dependencies;
wenzelm
parents: 34820
diff changeset
     9
plugin.isabelle.jedit.Plugin.description=Isabelle/Isar asynchronous proof 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
34803
74ea350c9b2f back to activate=startup (again) -- ensure that Isabelle_Encoding refers to valid Isabelle.system;
wenzelm
parents: 34773
diff changeset
    12
plugin.isabelle.jedit.Plugin.activate=startup
34418
5f25eb86c6a0 renamed IsabellePlugin to Isabelle;
wenzelm
parents: 34393
diff changeset
    13
plugin.isabelle.jedit.Plugin.usePluginHome=false
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset
    14
34418
5f25eb86c6a0 renamed IsabellePlugin to Isabelle;
wenzelm
parents: 34393
diff changeset
    15
#dependencies
34752
e20ef5b33d17 misc updates;
wenzelm
parents: 34726
diff changeset
    16
plugin.isabelle.jedit.Plugin.depend.0=jdk 1.6
34879
032e14798e16 updated version and dependencies;
wenzelm
parents: 34820
diff changeset
    17
plugin.isabelle.jedit.Plugin.depend.1=jedit 04.03.99.00
032e14798e16 updated version and dependencies;
wenzelm
parents: 34820
diff changeset
    18
plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 4.4.1
032e14798e16 updated version and dependencies;
wenzelm
parents: 34820
diff changeset
    19
plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 1.8
032e14798e16 updated version and dependencies;
wenzelm
parents: 34820
diff changeset
    20
plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 0.8
032e14798e16 updated version and dependencies;
wenzelm
parents: 34820
diff changeset
    21
plugin.isabelle.jedit.Plugin.depend.5=plugin gatchan.jedit.hyperlinks.HyperlinksPlugin 1.0.1
34418
5f25eb86c6a0 renamed IsabellePlugin to Isabelle;
wenzelm
parents: 34393
diff changeset
    22
34420
4187cec99c11 regular plugin activation via "defer";
wenzelm
parents: 34418
diff changeset
    23
#options
4187cec99c11 regular plugin activation via "defer";
wenzelm
parents: 34418
diff changeset
    24
plugin.isabelle.jedit.Plugin.option-pane=isabelle
4187cec99c11 regular plugin activation via "defer";
wenzelm
parents: 34418
diff changeset
    25
options.isabelle.label=Isabelle
34760
dc7f5e0d9d27 misc modernization of names;
wenzelm
parents: 34752
diff changeset
    26
options.isabelle.code=new isabelle.jedit.Isabelle_Options();
34617
8d2c49605685 simplified option pane: proper logic title, hardwired font path;
wenzelm
parents: 34571
diff changeset
    27
options.isabelle.logic.title=Logic
36814
dc85664dbf6d support Isabelle plugin properties with defaults;
wenzelm
parents: 34879
diff changeset
    28
options.isabelle.relative-font-size.title=Relative Font Size
dc85664dbf6d support Isabelle plugin properties with defaults;
wenzelm
parents: 34879
diff changeset
    29
options.isabelle.relative-font-size=100
37201
8517a650cfdc control tooltip font via Swing HTML, with tooltip-font-size property;
wenzelm
parents: 37065
diff changeset
    30
options.isabelle.tooltip-font-size.title=Tooltip Font Size
37203
c4261f3bbdd7 more flexibile font size via CSS <style> instead of old <font> element;
wenzelm
parents: 37201
diff changeset
    31
options.isabelle.tooltip-font-size=10
40339
088e5adca5ad added property "tooltip-margin";
wenzelm
parents: 39734
diff changeset
    32
options.isabelle.tooltip-margin.title=Tooltip Margin
088e5adca5ad added property "tooltip-margin";
wenzelm
parents: 39734
diff changeset
    33
options.isabelle.tooltip-margin=40
38854
eb6a35be18ca Isabelle/jEdit property for global tooltip dismiss delay;
wenzelm
parents: 37203
diff changeset
    34
options.isabelle.tooltip-dismiss-delay.title=Tooltip Dismiss Delay (global)
40849
09270033330e store tooltip-dismiss-delay as Double(seconds);
wenzelm
parents: 40848
diff changeset
    35
options.isabelle.tooltip-dismiss-delay=8.0
40848
8662b9b1f123 more abstract/uniform handling of time, preferring seconds as Double;
wenzelm
parents: 40339
diff changeset
    36
options.isabelle.startup-timeout=10.0
39734
47f5a8c92666 moved "auto-start" to options panel;
wenzelm
parents: 39702
diff changeset
    37
options.isabelle.auto-start.title=Auto Start
39702
d7c256cb2797 Session_Dockable: more startup controls;
wenzelm
parents: 39630
diff changeset
    38
options.isabelle.auto-start=true
34420
4187cec99c11 regular plugin activation via "defer";
wenzelm
parents: 34418
diff changeset
    39
34421
c57a53d4469a added author field;
wenzelm
parents: 34420
diff changeset
    40
#menu actions
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset
    41
plugin.isabelle.jedit.Plugin.menu.label=Isabelle
39630
44181423183a explicit Session.Phase indication with associated event bus;
wenzelm
parents: 39617
diff changeset
    42
plugin.isabelle.jedit.Plugin.menu=isabelle.session-panel isabelle.output-panel isabelle.raw-output-panel isabelle.protocol-panel
39617
a58eba339d2b tuned panel names and actions;
wenzelm
parents: 39515
diff changeset
    43
isabelle.session-panel.label=Prover Session panel
a58eba339d2b tuned panel names and actions;
wenzelm
parents: 39515
diff changeset
    44
isabelle.output-panel.label=Output panel
a58eba339d2b tuned panel names and actions;
wenzelm
parents: 39515
diff changeset
    45
isabelle.raw-output-panel.label=Raw Output panel
a58eba339d2b tuned panel names and actions;
wenzelm
parents: 39515
diff changeset
    46
isabelle.protocol-panel.label=Protocol panel
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset
    47
34421
c57a53d4469a added author field;
wenzelm
parents: 34420
diff changeset
    48
#dockables
39617
a58eba339d2b tuned panel names and actions;
wenzelm
parents: 39515
diff changeset
    49
isabelle-session.title=Prover Session
34773
bb5d68f7fd5e renamed "raw output" to "protocol";
wenzelm
parents: 34760
diff changeset
    50
isabelle-output.title=Output
37065
2a73253b5898 separate event bus and dockable for raw output (stdout);
wenzelm
parents: 36817
diff changeset
    51
isabelle-raw-output.title=Raw Output
34773
bb5d68f7fd5e renamed "raw output" to "protocol";
wenzelm
parents: 34760
diff changeset
    52
isabelle-protocol.title=Protocol
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset
    53
34421
c57a53d4469a added author field;
wenzelm
parents: 34420
diff changeset
    54
#SideKick
34393
f0e1608a774f basic tree structure for sidekick
immler@in.tum.de
parents: 34342
diff changeset
    55
sidekick.parser.isabelle.label=Isabelle
34420
4187cec99c11 regular plugin activation via "defer";
wenzelm
parents: 34418
diff changeset
    56
mode.isabelle.sidekick.parser=isabelle
4187cec99c11 regular plugin activation via "defer";
wenzelm
parents: 34418
diff changeset
    57
mode.ml.sidekick.parser=isabelle
34568
b517d0607297 implemented IsabelleHyperlinkSource (only links inside the current buffer)
immler@in.tum.de
parents: 34563
diff changeset
    58
b517d0607297 implemented IsabelleHyperlinkSource (only links inside the current buffer)
immler@in.tum.de
parents: 34563
diff changeset
    59
#Hyperlinks
b517d0607297 implemented IsabelleHyperlinkSource (only links inside the current buffer)
immler@in.tum.de
parents: 34563
diff changeset
    60
mode.isabelle.hyperlink.source=isabelle