From 2edb465b646f671f3372c70f020bd3d3076e86ad Mon Sep 17 00:00:00 2001
From: mbkma <johannes.unruh@fau.de>
Date: Tue, 7 Jul 2020 15:57:46 +0200
Subject: Port main program to GSettings

Remove pluma_prefs_manager.
Plugins were already ported to GSettings.
Based on: https://gitlab.gnome.org/GNOME/gedit/-/commit/4215be0e8924f45170683493beaa2695e8e2e483
---
 plugins/spell/pluma-spell-plugin.c | 1 -
 1 file changed, 1 deletion(-)

(limited to 'plugins/spell')

diff --git a/plugins/spell/pluma-spell-plugin.c b/plugins/spell/pluma-spell-plugin.c
index fdc2588f..c09c4cd0 100644
--- a/plugins/spell/pluma-spell-plugin.c
+++ b/plugins/spell/pluma-spell-plugin.c
@@ -36,7 +36,6 @@
 
 #include <pluma/pluma-window.h>
 #include <pluma/pluma-debug.h>
-#include <pluma/pluma-prefs-manager.h>
 #include <pluma/pluma-statusbar.h>
 #include <pluma/pluma-utils.h>
 
-- 
cgit v1.2.1