diff options
| author | mbkma <[email protected]> | 2020-07-07 15:57:46 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2020-07-29 16:47:54 +0200 |
| commit | 2edb465b646f671f3372c70f020bd3d3076e86ad (patch) | |
| tree | 0203909db2933fef2bff19084b67ae8f4ccfef19 /po | |
| parent | 8f02e21f3703c9549fb357986f77c9534186f2ab (diff) | |
| download | pluma-2edb465b646f671f3372c70f020bd3d3076e86ad.tar.bz2 pluma-2edb465b646f671f3372c70f020bd3d3076e86ad.tar.xz | |
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
Diffstat (limited to 'po')
| -rw-r--r-- | po/POTFILES.in | 1 |
1 files changed, 0 insertions, 1 deletions
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 |