[gnome-shell/benzea/systemd-user-units: 3/5] extensionPrefs: Delete disabled warning marker

[Benjamin Berg <bberg src gnome org>]

commit a9fa39699bb03e8f4d894815ad610fe2182013f6
Author: Benjamin Berg <bberg redhat com>
Date:   Sat Apr 20 00:17:25 2019 +0200

    extensionPrefs: Delete disabled warning marker
    
    It isn't possible to easily delete the marker from an XDG autostart
    file, so make it on startup to simplify that. This is in preparation
    for the next commit which adds the appropriate autostart file.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/507

 js/extensionPrefs/main.js | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)
---
diff --git a/js/extensionPrefs/main.js b/js/extensionPrefs/main.js
index eda7585cd..1d0ff60e3 100644
--- a/js/extensionPrefs/main.js
+++ b/js/extensionPrefs/main.js
@@ -6,7 +6,7 @@ const _ = Gettext.gettext;
 
 const Config = imports.misc.config;
 const ExtensionUtils = imports.misc.extensionUtils;
-const { loadInterfaceXML } = imports.misc.fileUtils;
+const { loadInterfaceXML, deleteGFile } = imports.misc.fileUtils;
 
 const GnomeShellIface = loadInterfaceXML('org.gnome.Shell.Extensions');
 const GnomeShellProxy = Gio.DBusProxy.makeProxyWrapper(GnomeShellIface);
@@ -337,6 +337,12 @@ var Application = class {
                     app.quit();
 
                 this.disabledInfobar.set_revealed(true);
+
+                let file = GLib.build_filenamev ([GLib.get_user_config_dir(), 
'gnome-shell-extensions-disabled-warning']);
+                let gfile = Gio.File.new_for_path(file);
+                if (gfile.query_exists(null))
+                    deleteGFile(gfile);
+
                 return 0;
             }