[gnome-shell/wip/jtojnar/ext-clipboard: 7/7] extensionsService: Really fix copying technical details

[Marge Bot <marge-bot src gnome org>]

commit 53dd291aba24e9eab3994b0ffeadec05e0150470
Author: Jan Tojnar <jtojnar gmail com>
Date:   Thu Apr 8 06:25:28 2021 +0200

    extensionsService: Really fix copying technical details
    
    gdk_clipboard_set_text() is not introspectable, we have to use
    gdk_clipboard_set_value() (shadowed as gdk_clipboard_set())
    instead.
    
    Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1796>

 js/dbusServices/extensions/extensionsService.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/js/dbusServices/extensions/extensionsService.js b/js/dbusServices/extensions/extensionsService.js
index 2a5cceaef2..ce98bbf575 100644
--- a/js/dbusServices/extensions/extensionsService.js
+++ b/js/dbusServices/extensions/extensionsService.js
@@ -253,7 +253,7 @@ var ExtensionPrefsDialog = GObject.registerClass({
         });
         action.connect('activate', () => {
             const clipboard = this.get_display().get_clipboard();
-            clipboard.set_text(this._errorMarkdown);
+            clipboard.set(this._errorMarkdown);
         });
         this._actionGroup.add_action(action);