src/Tools/jEdit/src/Isabelle.props
author wenzelm
Thu, 10 Nov 2011 22:39:32 +0100
changeset 45446 d29d73117b73
parent 44865 679f0d57e831
child 48014 63021e59cbf0
permissions -rw-r--r--
more generous margin;
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
45446
d29d73117b73 more generous margin;
wenzelm
parents: 44865
diff changeset
    33
options.isabelle.tooltip-margin=60
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
41557
b46ec69f1c60 increased startup-timeout to accommodate slow systems (especially Windows/Cygwin);
wenzelm
parents: 40849
diff changeset
    36
options.isabelle.startup-timeout=25.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
44238
36120feb70ed some convenience actions/shortcuts for control symbols;
wenzelm
parents: 43286
diff changeset
    40
#actions
44865
679f0d57e831 some keyboard shortcuts for important actions;
wenzelm
parents: 44238
diff changeset
    41
isabelle.check-buffer.label=Commence full proof checking of current buffer
679f0d57e831 some keyboard shortcuts for important actions;
wenzelm
parents: 44238
diff changeset
    42
isabelle.check-buffer.shortcut=C+e SPACE
679f0d57e831 some keyboard shortcuts for important actions;
wenzelm
parents: 44238
diff changeset
    43
isabelle.cancel-execution.label=Cancel current proof checking process
679f0d57e831 some keyboard shortcuts for important actions;
wenzelm
parents: 44238
diff changeset
    44
isabelle.cancel-execution.shortcut=C+e BACK_SPACE
679f0d57e831 some keyboard shortcuts for important actions;
wenzelm
parents: 44238
diff changeset
    45
isabelle.input-isub.label=Input subscript
44238
36120feb70ed some convenience actions/shortcuts for control symbols;
wenzelm
parents: 43286
diff changeset
    46
isabelle.input-isub.shortcut=C+e DOWN
44865
679f0d57e831 some keyboard shortcuts for important actions;
wenzelm
parents: 44238
diff changeset
    47
isabelle.input-isup.label=Input superscript
44238
36120feb70ed some convenience actions/shortcuts for control symbols;
wenzelm
parents: 43286
diff changeset
    48
isabelle.input-isup.shortcut=C+e UP
44865
679f0d57e831 some keyboard shortcuts for important actions;
wenzelm
parents: 44238
diff changeset
    49
isabelle.input-bold.label=Input bold face
44238
36120feb70ed some convenience actions/shortcuts for control symbols;
wenzelm
parents: 43286
diff changeset
    50
isabelle.input-bold.shortcut=C+e RIGHT
36120feb70ed some convenience actions/shortcuts for control symbols;
wenzelm
parents: 43286
diff changeset
    51
34421
c57a53d4469a added author field;
wenzelm
parents: 34420
diff changeset
    52
#menu actions
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset
    53
plugin.isabelle.jedit.Plugin.menu.label=Isabelle
39630
44181423183a explicit Session.Phase indication with associated event bus;
wenzelm
parents: 39617
diff changeset
    54
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
    55
isabelle.session-panel.label=Prover Session panel
a58eba339d2b tuned panel names and actions;
wenzelm
parents: 39515
diff changeset
    56
isabelle.output-panel.label=Output panel
a58eba339d2b tuned panel names and actions;
wenzelm
parents: 39515
diff changeset
    57
isabelle.raw-output-panel.label=Raw Output panel
a58eba339d2b tuned panel names and actions;
wenzelm
parents: 39515
diff changeset
    58
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
    59
34421
c57a53d4469a added author field;
wenzelm
parents: 34420
diff changeset
    60
#dockables
39617
a58eba339d2b tuned panel names and actions;
wenzelm
parents: 39515
diff changeset
    61
isabelle-session.title=Prover Session
34773
bb5d68f7fd5e renamed "raw output" to "protocol";
wenzelm
parents: 34760
diff changeset
    62
isabelle-output.title=Output
37065
2a73253b5898 separate event bus and dockable for raw output (stdout);
wenzelm
parents: 36817
diff changeset
    63
isabelle-raw-output.title=Raw Output
34773
bb5d68f7fd5e renamed "raw output" to "protocol";
wenzelm
parents: 34760
diff changeset
    64
isabelle-protocol.title=Protocol
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset
    65
34421
c57a53d4469a added author field;
wenzelm
parents: 34420
diff changeset
    66
#SideKick
34393
f0e1608a774f basic tree structure for sidekick
immler@in.tum.de
parents: 34342
diff changeset
    67
sidekick.parser.isabelle.label=Isabelle
34420
4187cec99c11 regular plugin activation via "defer";
wenzelm
parents: 34418
diff changeset
    68
mode.isabelle.sidekick.parser=isabelle
4187cec99c11 regular plugin activation via "defer";
wenzelm
parents: 34418
diff changeset
    69
mode.ml.sidekick.parser=isabelle
34568
b517d0607297 implemented IsabelleHyperlinkSource (only links inside the current buffer)
immler@in.tum.de
parents: 34563
diff changeset
    70
b517d0607297 implemented IsabelleHyperlinkSource (only links inside the current buffer)
immler@in.tum.de
parents: 34563
diff changeset
    71
#Hyperlinks
b517d0607297 implemented IsabelleHyperlinkSource (only links inside the current buffer)
immler@in.tum.de
parents: 34563
diff changeset
    72
mode.isabelle.hyperlink.source=isabelle