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