feat: add configurable whitespace markers

2026-10-13 22:53:40 +02:00
parent e2f33519d1
commit 2357b5be46
8 changed files with 210 additions and 7 deletions
@@ -258,6 +258,7 @@ impl EditorSession {
        editor.set_gutter_style(config.git_gutter);
        editor.set_scroll_distance(config.scroll_distance);
        editor.set_highlight_trailing_whitespace(config.highlight_trailing_whitespace);
+        editor.set_whitespace_characters(config.whitespace_characters);
        editor.set_diff_context_options(config.diff_context_lines, config.diff_expand_lines);
        editor.set_diff_display_options(config.diff_view_mode, config.diff_split_orientation);
        if let Err(error) =