../ gnome-terminal-3.16.2-restore-dark.patch 09-Aug-2015 20:34 7832 gnome-terminal-3.16.2-restore-transparency.patch 09-Aug-2015 20:34 54792 gnome-terminal-3.18.2-dark-theme.patch 14-Nov-2015 14:01 7812 gnome-terminal-3.18.2-transparency-fix-for-brok..> 14-Nov-2015 14:01 2348 gnome-terminal-3.18.2-transparency.patch 14-Nov-2015 14:01 13832