Il giorno ven, 13/07/2007 alle 10.29 +0200, Luca Ferretti ha scritto: > Il giorno ven, 13/07/2007 alle 01.13 +0100, jamie ha scritto: > > Have now updated the GUI to use a sidebar instead of tabs > > > Patch for 7 and 8 is attached. The patch also remove the categories > toolbar, but don't provide the "Categories" header, and make a little > more beautiful the search results string.
Forgot to mention: try current and patched version with all themes provided by gnome-themes package (yeah, HighContrast and LowContrast too). IMHO the patched version is better. _______________________________________________ tracker-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/tracker-list
