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

[Florian Müllner <fmuellner src gnome org>]

commit bb40c22620dbd2428872acc854aae4dc65b5ef12
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.

 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);