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

Fix UI font size changes not applying (#25307)

Browse source 
Related to #24857.

Release Notes:

- N/A
This commit is contained in:
João Marcos 2025-02-21 06:24:02 -03:00 • committed by GitHub
parent 4871d3c9e7
commit 5e1dd91ee5
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
18 changed files with 35 additions and 25 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/repl/src/notebook/cell.rs
View file

@ -186,7 +186,7 @@ impl Cell {
let refinement = TextStyleRefinement {
font_family: Some(theme.buffer_font.family.clone()),
font_size: Some(theme.buffer_font_size.into()),
font_size: Some(theme.buffer_font_size(cx).into()),
color: Some(cx.theme().colors().editor_foreground),
background_color: Some(gpui::transparent_black()),
..Default::default()

2
crates/repl/src/outputs/table.rs
View file

@ -94,7 +94,7 @@ impl TableView {
let text_system = window.text_system();
let text_style = window.text_style();
let text_font = ThemeSettings::get_global(cx).buffer_font.clone();
let font_size = ThemeSettings::get_global(cx).buffer_font_size;
let font_size = ThemeSettings::get_global(cx).buffer_font_size(cx);
let mut runs = [TextRun {
len: 0,
font: text_font,