Fixed mode updating under GTK

2026-07-27 10:35:51 +00:00 · 2018-10-22 15:18:05 +02:00
parent 2a2d1d85f8
commit 3ecb65d62c
4 changed files with 10 additions and 2 deletions
@@ -12,6 +12,7 @@

 #include <vector>
 #include <set>
+#include <functional>

 wxMenuItem* append_menu_item(wxMenu* menu, int id, const wxString& string, const wxString& description,
    std::function<void(wxCommandEvent& event)> cb, const std::string& icon = "", wxEvtHandler* event_handler = nullptr);