Calling destructor of notifications manager and hint database

Ensures to translate hints after change of language

src/slic3r/GUI/HintNotification.cpp

@@ -242,6 +242,13 @@ HintDatabase::~HintDatabase()
 		write_used_binary(m_used_ids);
 	}
 }
+void HintDatabase::uninit()
+{
+	if (m_initialized) {
+		write_used_binary(m_used_ids);
+	}
+	m_initialized = false;
+}
 void HintDatabase::init()
 {
 	load_hints_from_file(std::move(boost::filesystem::path(resources_dir()) / "data" / "hints.ini"));

src/slic3r/GUI/HintNotification.hpp

@@ -47,6 +47,9 @@ public:
 			return 0;
 		return m_loaded_hints.size(); 
 	}
+	// resets m_initiailized to false and writes used if was initialized
+	// used when reloading in runtime - like change language
+	void    uninit();
 private:
 	void	init();
 	void	load_hints_from_file(const boost::filesystem::path& path);

src/slic3r/GUI/NotificationManager.cpp

@@ -1107,6 +1107,10 @@ NotificationManager::NotificationManager(wxEvtHandler* evt_handler) :
 	m_evt_handler(evt_handler)
 {
 }
+NotificationManager::~NotificationManager()
+{
+	HintDatabase::get_instance().uninit();
+}
 void NotificationManager::push_notification(const NotificationType type, int timestamp)
 {
 	auto it = std::find_if(std::begin(basic_notifications), std::end(basic_notifications),

src/slic3r/GUI/NotificationManager.hpp

@@ -121,6 +121,7 @@ public:
 	};
 
 	NotificationManager(wxEvtHandler* evt_handler);
+	~NotificationManager();
 	
 	// Push a prefabricated notification from basic_notifications (see the table at the end of this file).
 	void push_notification(const NotificationType type, int timestamp = 0);

src/slic3r/GUI/Plater.cpp

@@ -2073,6 +2073,8 @@ Plater::priv::~priv()
 {
     if (config != nullptr)
         delete config;
+    if (notification_manager != nullptr)
+        delete notification_manager;
 }
 
 void Plater::priv::update(unsigned int flags)