gnome-prototypes-team / gnome-music

Gnome Music

https://live.gnome.org/Music

Other

5 stars 13 forks source link

Don't reveal playertoolbar when space is pressed. #196

Closed sumansai14 closed 10 years ago

sumansai14 commented 10 years ago

195

vrutkovs commented 10 years ago

Thanks, pushed as https://git.gnome.org/browse/gnome-music/commit/?id=539945f