search

gnome-prototypes-team / gnome-music

Gnome Music
https://live.gnome.org/Music
Other
5 stars 13 forks source link

SearchRebased: close source / match selection when we click outside of it #202

Open vrutkovs opened 10 years ago

vrutkovs commented 10 years ago

I guess we should convert it to a popover

kyoushuu commented 10 years ago

No core apps have done it yet but I've seen it several times in the mockups, like Files'.

Maybe we should when required GTK+ gets bumped into 3.12.