1(* :mode=isabelle-options: *)
2
3public option jedit_logic : string = ""
4  -- "default logic session"
5
6public option jedit_print_mode : string = ""
7  -- "default print modes for output, separated by commas (change requires restart)"
8
9public option jedit_auto_resolve : bool = false
10  -- "automatically resolve auxiliary files within the document model"
11
12public option jedit_reset_font_size : int = 18
13  -- "reset main text font size"
14
15public option jedit_font_scale : real = 1.0
16  -- "scale factor of add-on panels wrt. main text font"
17
18public option jedit_popup_font_scale : real = 0.85
19  -- "scale factor of popups wrt. main text font"
20
21public option jedit_popup_bounds : real = 0.5
22  -- "relative bounds of popup window wrt. logical screen size"
23
24public option jedit_tooltip_delay : real = 0.75
25  -- "open/close delay for document tooltips (seconds)"
26
27public option jedit_tooltip_margin : int = 60
28  -- "margin for tooltip pretty-printing"
29
30public option jedit_structure_limit : int = 1000
31  -- "maximum number of lines to scan for language structure"
32
33public option jedit_symbols_search_limit : int = 50
34  -- "maximum number of symbols in search result"
35
36public option jedit_timing_threshold : real = 0.1
37  -- "default threshold for timing display (seconds)"
38
39public option jedit_text_overview : bool = true
40  -- "paint text overview column"
41
42public option isabelle_fonts_hinted : bool = true
43  -- "use hinted Isabelle DejaVu fonts (change requires restart)"
44
45
46section "Indentation"
47
48public option jedit_indent_input : bool = true
49  -- "indentation of Isabelle keywords after input (typed character or completion)"
50
51public option jedit_indent_newline : bool = true
52  -- "indentation of Isabelle keywords on ENTER (action isabelle.newline)"
53
54public option jedit_indent_script : bool = true
55  -- "indent unstructured proof script ('apply' etc.) via number of subgoals"
56
57public option jedit_indent_script_limit : int = 20
58  -- "maximum indentation of unstructured proof script ('apply' etc.)"
59
60
61section "Completion"
62
63public option jedit_completion : bool = true
64  -- "enable completion popup"
65
66public option jedit_completion_select_enter : bool = false
67  -- "select completion item via ENTER"
68
69public option jedit_completion_select_tab : bool = true
70  -- "select completion item via TAB"
71
72public option jedit_completion_context : bool = true
73  -- "use semantic language context for completion"
74
75public option jedit_completion_delay : real = 0.5
76  -- "delay for completion popup (seconds)"
77
78public option jedit_completion_immediate : bool = true
79  -- "insert uniquely completed abbreviation immediately into buffer"
80
81
82section "Rendering of Document Content"
83
84option outdated_color : string = "EEE3E3FF"
85option unprocessed_color : string = "FFA0A0FF"
86option unprocessed1_color : string = "FFA0A032"
87option running_color : string = "610061FF"
88option running1_color : string = "61006164"
89option bullet_color : string = "000000FF"
90option tooltip_color : string = "FFFFE9FF"
91option writeln_color : string = "C0C0C0FF"
92option information_color : string = "C1DFEEFF"
93option warning_color : string = "FF8C00FF"
94option legacy_color : string = "FF8C00FF"
95option error_color : string = "B22222FF"
96option writeln_message_color : string = "F0F0F0FF"
97option information_message_color : string = "DCEAF3FF"
98option tracing_message_color : string = "F0F8FFFF"
99option warning_message_color : string = "EEE8AAFF"
100option legacy_message_color : string = "EEE8AAFF"
101option error_message_color : string = "FFC1C1FF"
102option spell_checker_color : string = "0000FFFF"
103option bad_color : string = "FF6A6A64"
104option canceled_color : string = "FF6A6A64"
105option intensify_color : string = "FFCC6664"
106option entity_color : string = "CCD9FF80"
107option entity_ref_color : string = "800080FF"
108option breakpoint_disabled_color : string = "CCCC0080"
109option breakpoint_enabled_color : string = "FF9966FF"
110option quoted_color : string = "8B8B8B19"
111option antiquoted_color : string = "FFC83219"
112option antiquote_color : string = "6600CCFF"
113option raw_text_color : string = "6600CCFF"
114option plain_text_color : string = "CC6600FF"
115option highlight_color : string = "50505032"
116option hyperlink_color : string = "000000FF"
117option active_color : string = "DCDCDCFF"
118option active_hover_color : string = "9DC75DFF"
119option active_result_color : string = "999966FF"
120option keyword1_color : string = "006699FF"
121option keyword2_color : string = "009966FF"
122option keyword3_color : string = "0099FFFF"
123option quasi_keyword_color : string = "9966FFFF"
124option improper_color : string = "FF5050FF"
125option operator_color : string = "323232FF"
126option comment1_color : string = "CC0000FF"
127option comment2_color : string = "FF8400FF"
128option comment3_color : string = "6600CCFF"
129option caret_debugger_color : string = "FF9966FF"
130option caret_invisible_color : string = "50000080"
131option completion_color : string = "0000FFFF"
132option search_color : string = "66FFFF64"
133
134option tfree_color : string = "A020F0FF"
135option tvar_color : string = "A020F0FF"
136option free_color : string = "0000FFFF"
137option skolem_color : string = "D2691EFF"
138option bound_color : string = "008000FF"
139option var_color : string = "00009BFF"
140option inner_numeral_color : string = "FF0000FF"
141option inner_quoted_color : string = "FF00CCFF"
142option inner_cartouche_color : string = "CC6600FF"
143option dynamic_color : string = "7BA428FF"
144option class_parameter_color : string = "D2691EFF"
145
146option markdown_bullet1_color : string = "DAFEDAFF"
147option markdown_bullet2_color : string = "FFF0CCFF"
148option markdown_bullet3_color : string = "E7E7FFFF"
149option markdown_bullet4_color : string = "FFE0F0FF"
150
151
152section "Icons"
153
154option tooltip_close_icon : string = "idea-icons/actions/closeHovered.png"
155option tooltip_detach_icon : string = "idea-icons/actions/nextfile.png"
156option gutter_information_icon : string = "idea-icons/general/balloonInformation.png"
157option gutter_warning_icon : string = "idea-icons/runConfigurations/testFailed.png"
158option gutter_legacy_icon : string = "idea-icons/general/balloonWarning.png"
159option gutter_error_icon : string = "idea-icons/runConfigurations/testError.png"
160option process_passive_icon : string = "idea-icons/process/step_passive.png"
161option process_active_icons : string = "idea-icons/process/step_1.png:idea-icons/process/step_2.png:idea-icons/process/step_3.png:idea-icons/process/step_4.png:idea-icons/process/step_5.png:idea-icons/process/step_6.png:idea-icons/process/step_7.png:idea-icons/process/step_8.png:idea-icons/process/step_9.png:idea-icons/process/step_10.png:idea-icons/process/step_11.png:idea-icons/process/step_12.png"
162