From 092c87ff207189a0d2f7fea193ecf8ea401a9a31 Mon Sep 17 00:00:00 2001
From: Jabier Arraiza Cenoz <jabier.arraiza@marker.es>
Date: Wed, 9 Dec 2015 17:26:27 +0100
Subject: Remove unnecesary headers for GTK3

(bzr r14521)
---
 src/widgets/desktop-widget.cpp | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/widgets')

diff --git a/src/widgets/desktop-widget.cpp b/src/widgets/desktop-widget.cpp
index 85f58c830..da7a54ca0 100644
--- a/src/widgets/desktop-widget.cpp
+++ b/src/widgets/desktop-widget.cpp
@@ -71,9 +71,7 @@
 
 #include "verbs.h"
 #if GTK_CHECK_VERSION(3,0,0)
-# include <gtkmm/widget.h>
 # include <gtkmm/cssprovider.h>
-# include <gtkmm/styleproperty.h>
 #endif
 #include <gtkmm/paned.h>
 #include <gtkmm/messagedialog.h>
-- 
cgit v1.2.3