diff options
| -rw-r--r-- | .build.yml | 2 | ||||
| -rw-r--r-- | src/preferences/pages/editor.rs | 1 |
2 files changed, 2 insertions, 1 deletions
@@ -24,7 +24,7 @@ environment: GPG_TTY: /dev/pts/0 secrets: - a1e0e3da-c1ad-473a-ad69-8878f267a628 - - 0b0d3e5e-fbdc-41d0-97ed-ee654fe797ff + - b35c93ec-3185-48cb-ac85-587877e33f3f - f80356df-eb81-487f-8739-fbf08bf204dc - 05763ec6-2f17-46b5-90f6-963482975b8b tasks: 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!( |