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

[Benjamin Berg <bberg src gnome org>]

commit c0f63d55ba948b4133d56b5e7bbc1660bfee67d7
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 delete it on startup to simplify that.
    
    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;
             }