Use separate thread for saving session data.

2026-08-15 06:32:31 +00:00 · 2025-12-17 22:42:44 +01:00
parent 16ff32b88c
commit 8f644e65dd
21 changed files with 668 additions and 209 deletions
@@ -98,7 +98,8 @@ public:

  const std::string&  keymap_style()                          { return m_keymap_style; }
  void                set_keymap_style(const std::string& style);
-  const int           navigation_key(NavigationKeymap key);
+
+  int                 navigation_key(NavigationKeymap key);

 private:
  void                setup_keys();