From 1f2faf3ed77cc413a235e8f26634c49207c87826 Mon Sep 17 00:00:00 2001
From: kat <kat@vector35.com>
Date: Sat, 3 Jun 2023 20:05:04 -0400
Subject: Export the addJsonTheme symbol

---
 ui/theme.h | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/ui/theme.h b/ui/theme.h
index 9a27429b..e0c5ffb7 100644
--- a/ui/theme.h
+++ b/ui/theme.h
@@ -36,6 +36,12 @@ bool BINARYNINJAUIAPI isActiveThemeDark();
 bool BINARYNINJAUIAPI isColorBlindMode();
 void BINARYNINJAUIAPI setColorBlindMode(bool active);
 
+/*! \warning If registering themes from a plugin, you will also need to manually swap to them
+
+	\param json
+*/
+void BINARYNINJAUIAPI addJsonTheme(const char* json);
+
 QColor BINARYNINJAUIAPI getThemeColor(BNThemeColor color);
 QColor BINARYNINJAUIAPI getTokenColor(QWidget* widget, BNInstructionTextTokenType token);
 
-- 
cgit v1.3.1