Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

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

Browse source 
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
This commit is contained in:
Nathan Sobo 2025-05-04 18:09:47 -06:00 • committed by GitHub
parent 52da375a9d
commit eb15ed7d60
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 12 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
Cargo.lock generated
View file

@ -753,6 +753,7 @@ dependencies = [
"tempfile",
"terminal",
"terminal_view",
"theme",
"tree-sitter-rust",
"ui",
"unindent",