Hide Dash X - GNOME Shell Extensions mercredi 6 mai 2015 à 12:59 Slobberbone's Links 06/05/2015 Hide the dash from the activities overview.(Permalink)