Skip to content
GitLab
Explore
Sign in
GNOME
gThumb
Repository
gthumb
extensions
gstreamer_tools
data
ui
mediabar.ui
Find file
Blame
History
Permalink
media player: hide the mediabar after a timeout
· 14848d8a
Paolo Bacchilega
authored
Nov 05, 2013
14848d8a