sioyek: search case insensitively by default

2023-11-15 14:23:45 +01:00 · 2023-11-15 14:23:45 +01:00 · 6dd7f5b39a
parent b45296765a
commit 6dd7f5b39a
2 changed files with 3 additions and 0 deletions
--- a/writing/.config/sioyek/keys_user.config
+++ b/writing/.config/sioyek/keys_user.config
@ -39,3 +39,5 @@ add_highlight H

 goto_prev_highlight [h
 goto_next_highlight ]h
+
+goto_mark '
--- a/writing/.config/sioyek/prefs_user.config
+++ b/writing/.config/sioyek/prefs_user.config
@ -11,3 +11,4 @@ check_for_updates_on_startup 0

 startup_commands toggle_custom_color

+case_sensitive_search 0