From 2edb465b646f671f3372c70f020bd3d3076e86ad Mon Sep 17 00:00:00 2001 From: mbkma 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 --- po/POTFILES.in | 1 - 1 file changed, 1 deletion(-) (limited to 'po') diff --git a/po/POTFILES.in b/po/POTFILES.in index e87f0bab..d3754054 100644 --- a/po/POTFILES.in +++ b/po/POTFILES.in @@ -27,7 +27,6 @@ pluma/pluma-io-error-message-area.c pluma/pluma-notebook.c pluma/pluma-panel.c pluma/pluma-plugins-engine.c -pluma/pluma-prefs-manager.c pluma/pluma-print-job.c pluma/pluma-print-preferences.ui pluma/pluma-print-preview.c -- cgit v1.2.1