L’extension Gnome Dash to panel