diff options
| author | Neil <nyamatongwe@gmail.com> | 2015-08-26 10:03:22 +1000 |
|---|---|---|
| committer | Neil <nyamatongwe@gmail.com> | 2015-08-26 10:03:22 +1000 |
| commit | f2d2876c7157b39952d875e38a82f9bea8929ff9 (patch) | |
| tree | 9cb5d5b7637181e44965252411194911dd7cb729 /scripts | |
| parent | b7c61c4c98204948c23d084dfb926b8a7ce83607 (diff) | |
| download | scintilla-mirror-f2d2876c7157b39952d875e38a82f9bea8929ff9.tar.gz | |
Use current CSS theming calls instead of deprecated gtk_widget_override_font.
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/HeaderOrder.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/HeaderOrder.txt b/scripts/HeaderOrder.txt index eb00e16e8..ff92bac2d 100644 --- a/scripts/HeaderOrder.txt +++ b/scripts/HeaderOrder.txt @@ -33,6 +33,7 @@ #include <algorithm> #include <memory> #include <regex> +#include <sstream> // GTK+ headers #include <glib.h> |