Nathan Sobo eb15ed7d60 In the edit tool card, use the UI font size for the editor that we use to render the diff (#29882) ...

I am currently setting the font size corrrectly by using a custom
EditorStyle and building an element. However I need to use the same
properties as a normal editor for everything but font size.

Release Notes:

- N/A

2025-05-05 00:09:47 +00:00

..

src

In the edit tool card, use the UI font size for the editor that we use to render the diff (#29882)

2025-05-05 00:09:47 +00:00

Cargo.toml

In the edit tool card, use the UI font size for the editor that we use to render the diff (#29882)

2025-05-05 00:09:47 +00:00

LICENSE-GPL

Factor tool definitions out of assistant (#21189)

2024-11-25 18:26:34 -05:00