From 5fe1520c65ceeea3419fbd56165cd4d8d6c3a801 Mon Sep 17 00:00:00 2001
From: Lawrence Lee <45837045+Lawrence37@users.noreply.github.com>
Date: Sun, 8 Dec 2024 17:17:41 -0800
Subject: [PATCH] Set font size of quick info display

Use the main font size set in preferences.
---
 rtgui/imagearea.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rtgui/imagearea.cc b/rtgui/imagearea.cc
index a1387db026..ee9997d8c7 100644
--- a/rtgui/imagearea.cc
+++ b/rtgui/imagearea.cc
@@ -155,7 +155,7 @@ void ImageArea::setInfoText (Glib::ustring text)
 
     // update font
     fontd.set_weight (Pango::WEIGHT_BOLD);
-    const int fontSize = 10; // pt
+    const int fontSize = options.fontSize;
     // Non-absolute size is defined in "Pango units" and shall be multiplied by
     // Pango::SCALE from "pt":
     fontd.set_size (fontSize * Pango::SCALE);