Add colors for document highlights

2023-11-07 13:15:08 +01:00
parent bdf6e8bcc7
commit 268be71d8e
4 changed files with 12 additions and 6 deletions
@@ -4057,12 +4057,12 @@ impl Editor {

                    this.highlight_background::<DocumentHighlightRead>(
                        read_ranges,
-                        |theme| todo!("theme.editor.document_highlight_read_background"),
+                        |theme| theme.editor_document_highlight_read_background,
                        cx,
                    );
                    this.highlight_background::<DocumentHighlightWrite>(
                        write_ranges,
-                        |theme| todo!("theme.editor.document_highlight_write_background"),
+                        |theme| theme.editor_document_highlight_write_background,
                        cx,
                    );
                    cx.notify();