diff options
Diffstat (limited to 'gtk')
| -rwxr-xr-x | gtk/PlatGTK.cxx | 1 | ||||
| -rwxr-xr-x | gtk/ScintillaGTK.cxx | 1 | ||||
| -rw-r--r-- | gtk/ScintillaGTKAccessible.cxx | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/gtk/PlatGTK.cxx b/gtk/PlatGTK.cxx index b532826a7..e5daf5b1a 100755 --- a/gtk/PlatGTK.cxx +++ b/gtk/PlatGTK.cxx @@ -13,6 +13,7 @@ #include <string_view> #include <vector> #include <map> +#include <optional> #include <algorithm> #include <memory> #include <sstream> diff --git a/gtk/ScintillaGTK.cxx b/gtk/ScintillaGTK.cxx index beb113484..0383745fb 100755 --- a/gtk/ScintillaGTK.cxx +++ b/gtk/ScintillaGTK.cxx @@ -17,6 +17,7 @@ #include <string_view> #include <vector> #include <map> +#include <optional> #include <algorithm> #include <memory> diff --git a/gtk/ScintillaGTKAccessible.cxx b/gtk/ScintillaGTKAccessible.cxx index 1fa044a8e..1aceddb8b 100644 --- a/gtk/ScintillaGTKAccessible.cxx +++ b/gtk/ScintillaGTKAccessible.cxx @@ -62,6 +62,7 @@ #include <string_view> #include <vector> #include <map> +#include <optional> #include <algorithm> #include <memory> |