diff options
| author | Rubén Beltrán del Río <jj@r.bdr.sh> | 2026-01-17 17:50:35 +0100 |
|---|---|---|
| committer | Rubén Beltrán del Río <jj@r.bdr.sh> | 2026-01-17 17:56:13 +0100 |
| commit | 0d854c171a67b6da7e3d3ed040f00d808be6f4da (patch) | |
| tree | 14bd6d9e6bb519ff7846c6422f2758138b05e869 /src | |
| parent | 72690e2f0e8b36ff4b21aaea3ada603dd49aef2f (diff) | |
Update secrets
Diffstat (limited to 'src')
| -rw-r--r-- | src/preferences/pages/editor.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/preferences/pages/editor.rs b/src/preferences/pages/editor.rs index 336a488..65b7d80 100644 --- a/src/preferences/pages/editor.rs +++ b/src/preferences/pages/editor.rs @@ -97,6 +97,7 @@ impl EditorPage { font_row.append(>k::Label::new(Some(&tr!("preferences.editor.font")))); let font_button = gtk::FontButton::new(); + font_button.set_use_size(false); #[allow(clippy::cast_possible_truncation)] font_button.set_font(&format!( |