From 9d8bc846bd213407fb1a7a19af2a96f17501ac3b Mon Sep 17 00:00:00 2001
From: Alexander Taylor <alex@vector35.com>
Date: Wed, 15 Feb 2023 13:57:57 -0500
Subject: Expose API for getting default font size.

---
 ui/fontsettings.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ui/fontsettings.h b/ui/fontsettings.h
index fa8227fd..85b0fb7f 100644
--- a/ui/fontsettings.h
+++ b/ui/fontsettings.h
@@ -18,6 +18,8 @@ enum AntialiasingStyle
 	NoAntialiasing
 };
 
+int BINARYNINJAUIAPI getDefaultFontSize();
+
 QFont BINARYNINJAUIAPI getDefaultApplicationFont();
 QFont BINARYNINJAUIAPI getApplicationFont(QWidget* widget);
 void BINARYNINJAUIAPI setApplicationFont(const QFont& font);
-- 
cgit v1.3.1