Comment 3 for bug 88538

Revision history for this message
David Sansome (me-davidsansome) wrote :

In the latest upstream version it is now possible to choose a different theme when running GNOME.