53dd291aba
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> |
||
---|---|---|
.. | ||
css | ||
ui | ||
extensionsService.js | ||
main.js |