From c0cc78df590a81b15d8a7eb1590edbec8fec6f1a Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Wed, 8 Mar 2017 16:30:12 +0300
Subject: Clean global font pointer on gui deletion.

---
 src/gui/widgets/widget.h | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/gui/widgets/widget.h')

diff --git a/src/gui/widgets/widget.h b/src/gui/widgets/widget.h
index 92b345cea..3601570cb 100644
--- a/src/gui/widgets/widget.h
+++ b/src/gui/widgets/widget.h
@@ -644,6 +644,9 @@ class Widget notfinal : public Widget2
         static Font *getGloablFont()
         { return mGlobalFont; }
 
+        static void cleanGlobalFont()
+        { mGlobalFont = nullptr; }
+
         /**
           * Sets the font for the widget. If NULL is passed, the global font
           * will be used.
-- 
cgit v1.2.3-60-g2f50