2023-10-02 11:55:46 +00:00
|
|
|
# START FLAVOURS
|
|
|
|
|
|
|
|
# END FLAVOURS
|
|
|
|
|
|
|
|
super_fast_search 1
|
2023-10-05 16:28:04 +00:00
|
|
|
|
|
|
|
should_launch_new_instance 1 # seems to not be working?
|
|
|
|
should_launch_new_window 1
|
|
|
|
should_load_tutorial_when_no_other_file 0
|
|
|
|
check_for_updates_on_startup 0
|
2024-07-20 14:47:13 +00:00
|
|
|
should_highlight_unselected_search 1
|
2023-10-05 16:28:04 +00:00
|
|
|
|
2023-10-02 11:55:46 +00:00
|
|
|
startup_commands toggle_custom_color
|
|
|
|
|
2023-11-15 13:23:45 +00:00
|
|
|
case_sensitive_search 0
|