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 | 84f39df4d20c01bc2e63f75c5ca87ecbb1913665 (patch) | |
| tree | 2cb8e58cae686aee593c10feec68ca18e115394f /scripts | |
| parent | 40e2d18310173b7dfa8aa7c436ac1607270f46d4 (diff) | |
| download | scintilla-mirror-84f39df4d20c01bc2e63f75c5ca87ecbb1913665.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> |