From f2d2876c7157b39952d875e38a82f9bea8929ff9 Mon Sep 17 00:00:00 2001
From: Neil <nyamatongwe@gmail.com>
Date: Wed, 26 Aug 2015 10:03:22 +1000
Subject: Use current CSS theming calls instead of deprecated
 gtk_widget_override_font.

---
 scripts/HeaderOrder.txt | 1 +
 1 file changed, 1 insertion(+)

(limited to 'scripts')

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>
-- 
cgit v1.2.3