equal
deleted
inserted
replaced
30 options.isabelle.tooltip-font-size.title=Tooltip Font Size |
30 options.isabelle.tooltip-font-size.title=Tooltip Font Size |
31 options.isabelle.tooltip-font-size=10 |
31 options.isabelle.tooltip-font-size=10 |
32 options.isabelle.tooltip-dismiss-delay.title=Tooltip Dismiss Delay (global) |
32 options.isabelle.tooltip-dismiss-delay.title=Tooltip Dismiss Delay (global) |
33 options.isabelle.tooltip-dismiss-delay=8000 |
33 options.isabelle.tooltip-dismiss-delay=8000 |
34 options.isabelle.startup-timeout=10000 |
34 options.isabelle.startup-timeout=10000 |
|
35 options.isabelle.auto-start=true |
35 |
36 |
36 #menu actions |
37 #menu actions |
37 plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
38 plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
38 plugin.isabelle.jedit.Plugin.menu=isabelle.session-panel isabelle.output-panel isabelle.raw-output-panel isabelle.protocol-panel |
39 plugin.isabelle.jedit.Plugin.menu=isabelle.session-panel isabelle.output-panel isabelle.raw-output-panel isabelle.protocol-panel |
39 isabelle.session-panel.label=Prover Session panel |
40 isabelle.session-panel.label=Prover Session panel |