Clipboard::SelectionOwnerChanged `mime_types` type doesn't match the spec
According to Clipboard::SelectionOwnerChanged docs,
Supported keys in the
options
vardict include:
mime_types
(as
)
A list of MIME types for which the new clipboard selection has contentsession_is_owner
(b
)
A boolean for whether the session is the owner of the clipboard selection (‘true’) or not (‘false’)
Thus the type of mime_types
option is supposed to be as
(note that parens aren't part of the type signature).
Yet in src/clipboard.c (on_selection_owner_changed()
), (as)
is used as the type for the option value since the looked up value is copied as-is: https://gitlab.gnome.org/GNOME/xdg-desktop-portal-gnome/-/blob/727eb1d04f7add83f2e7e36fe2faeb5a6daae29d/src/clipboard.c#L55-62
Looking at data/org.gnome.Mutter.RemoteDesktop.xml, Mutter should seemingly also send mime-types
as as
(and not (as)
), so… If you'd like me to fix it (which I'm open to), I'd appreciate some guidance.
Edited by Mike Gelfand