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