Closed GoogleCodeExporter closed 9 years ago
It is currently not used at all and takes up valuable screen estate as well as being potentially misleading.
Original issue reported on code.google.com by jonas.fonseca on 5 Nov 2007 at 12:05
jonas.fonseca
This has been fixed as of commit bfb2a31a23c943216d1bba34fa246ed059818953.
Original comment by jonas.fonseca on 5 Nov 2007 at 2:51
Original issue reported on code.google.com by
jonas.fonseca
on 5 Nov 2007 at 12:05