1. 2016-05-21 [1] To be able to use a animated gif as background gnome Just Dust 2. 2016-05-20 [1] Firefox won't launch from gnome-shell gnome Contractor 3. 2016-05-14 [2] still not able to change window title bar color [rant] gnome Calum Benson 4. 2016-05-13 [1] Re: gnome 3 window switcher gnome Michael R Mossman 5. 2016-05-12 [2] problems with gnome 3 window switcher gnome Summers_Pittman_ℝ 6. 2016-05-12 [1] is there a higher-traffic forum? gnome Britton Kerin 7. 2016-05-10 [1] Is the evolution-list still active gnome John Lauterbach 8. 2016-05-09 [1] wmctrl gnome3 issue gnome Britton Kerin