From 7e52c15de29c013413f3d9ffef37d2de86b44dbf Mon Sep 17 00:00:00 2001
From: NiLuJe <ninuje@gmail.com>
Date: Thu, 29 Aug 2024 11:28:16 +0200
Subject: [PATCH] FileManager: Handle the FlushSettings event (#12425)

It's used on Android when we're murdered by the task switcher, and when doing an OTA update.

Fix #12124
---
 frontend/apps/filemanager/filemanager.lua | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/frontend/apps/filemanager/filemanager.lua b/frontend/apps/filemanager/filemanager.lua
index ac6b5438d..f94eb1316 100644
--- a/frontend/apps/filemanager/filemanager.lua
+++ b/frontend/apps/filemanager/filemanager.lua
@@ -761,6 +761,11 @@ function FileManager:onClose()
     return true
 end
 
+function FileManager:onFlushSettings()
+    self:handleEvent(Event:new("SaveSettings"))
+    G_reader_settings:flush()
+end
+
 function FileManager:onCloseWidget()
     if FileManager.instance == self then
         logger.dbg("Tearing down FileManager", tostring(self))