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

[Benjamin Berg <bberg src gnome org>]

commit 16357a1f46d5d0f560f715e622d7aacf161ef385
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.

 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 2105af65f..b549723d4 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);
@@ -329,6 +329,12 @@ var Application = class {
                     app.quit();
 
                 this._disabled_infobar.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;
             }