author | wenzelm |
Tue, 11 Sep 2012 22:54:12 +0200 | |
changeset 49294 | a600c017f814 |
parent 49288 | 2c9272cb4568 |
child 49295 | 2750756db9c5 |
permissions | -rw-r--r-- |
49245
cb70157293c0
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
wenzelm
parents:
diff
changeset
|
1 |
(* :mode=isabelle-options: *) |
cb70157293c0
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
wenzelm
parents:
diff
changeset
|
2 |
|
cb70157293c0
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
wenzelm
parents:
diff
changeset
|
3 |
option jedit_logic : string = "" |
cb70157293c0
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
wenzelm
parents:
diff
changeset
|
4 |
-- "default logic session" |
cb70157293c0
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
wenzelm
parents:
diff
changeset
|
5 |
|
cb70157293c0
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
wenzelm
parents:
diff
changeset
|
6 |
option jedit_auto_start : bool = true |
cb70157293c0
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
wenzelm
parents:
diff
changeset
|
7 |
-- "auto-start prover session on editor startup" |
cb70157293c0
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
wenzelm
parents:
diff
changeset
|
8 |
|
49272
97f8cb455691
replaced jedit_relative_font_size by jedit_font_scale;
wenzelm
parents:
49270
diff
changeset
|
9 |
option jedit_font_scale : real = 1.0 |
97f8cb455691
replaced jedit_relative_font_size by jedit_font_scale;
wenzelm
parents:
49270
diff
changeset
|
10 |
-- "scale factor of add-on panels wrt. main text area" |
49245
cb70157293c0
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
wenzelm
parents:
diff
changeset
|
11 |
|
cb70157293c0
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
wenzelm
parents:
diff
changeset
|
12 |
option jedit_tooltip_font_size : int = 10 |
cb70157293c0
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
wenzelm
parents:
diff
changeset
|
13 |
-- "tooltip font size (according to HTML)" |
cb70157293c0
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
wenzelm
parents:
diff
changeset
|
14 |
|
cb70157293c0
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
wenzelm
parents:
diff
changeset
|
15 |
option jedit_tooltip_margin : int = 60 |
49250 | 16 |
-- "margin for tooltip pretty-printing" |
49245
cb70157293c0
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
wenzelm
parents:
diff
changeset
|
17 |
|
cb70157293c0
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
wenzelm
parents:
diff
changeset
|
18 |
option jedit_tooltip_dismiss_delay : real = 8.0 |
49250 | 19 |
-- "global delay for Swing tooltips" |
49294 | 20 |
|
21 |
||
22 |
section {* Editor document view *} |
|
23 |
||
24 |
option color_outdated : string = "EEE3E3FF" |
|
25 |
option color_unprocessed : string = "FFA0A0FF" |
|
26 |
option color_unprocessed1 : string = "FFA0A032" |
|
27 |
option color_running : string = "610061FF" |
|
28 |
option color_running1 : string = "61006164" |
|
29 |
option color_light : string = "F0F0F0FF" |
|
30 |
option color_writeln : string = "C0C0C0FF" |
|
31 |
option color_warning : string = "FF8C00FF" |
|
32 |
option color_error : string = "B22222FF" |
|
33 |
option color_error1 : string = "B2222232" |
|
34 |
option color_bad : string = "FF6A6A64" |
|
35 |
option color_hilite : string = "FFCC6664" |
|
36 |
option color_quoted : string = "8B8B8B19" |
|
37 |
option color_subexp : string = "50505032" |
|
38 |
option color_hyperlink : string = "000000FF" |
|
39 |
option color_keyword1 : string = "006699FF" |
|
40 |
option color_keyword2 : string = "009966FF" |
|
41 |
||
42 |
option color_variable_free : string = "0000FFFF" |
|
43 |
option color_variable_type : string = "A020F0FF" |
|
44 |
option color_variable_skolem : string = "D2691EFF" |
|
45 |
option color_variable_bound : string = "008000FF" |
|
46 |
option color_variable_schematic : string = "00009BFF" |
|
47 |
option color_inner_quoted : string = "D2691EFF" |
|
48 |
option color_inner_comment : string = "8B0000FF" |
|
49 |
option color_inner_numeral : string = "FF0000FF" |
|
50 |
option color_antiquotation : string = "0000FFFF" |
|
51 |
option color_dynamic : string = "7BA428FF" |
|
52 |