aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRubén Beltrán del Río <jj@r.bdr.sh>2026-01-17 17:50:35 +0100
committerRubén Beltrán del Río <jj@r.bdr.sh>2026-01-17 17:56:13 +0100
commit0d854c171a67b6da7e3d3ed040f00d808be6f4da (patch)
tree14bd6d9e6bb519ff7846c6422f2758138b05e869
parent72690e2f0e8b36ff4b21aaea3ada603dd49aef2f (diff)
Update secrets
-rw-r--r--.build.yml2
-rw-r--r--src/preferences/pages/editor.rs1
2 files changed, 2 insertions, 1 deletions
diff --git a/.build.yml b/.build.yml
index a3ce307..3c1316e 100644
--- a/.build.yml
+++ b/.build.yml
@@ -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(&gtk::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!(