Sourcefoge search doesn't seem to work

[Peter Toye]

I want to check if a known problem with layout-set-staff-size is already on the 
issue list. SO I put layout-set-staff-size in the search box and am told:

Showing 25 results of 1996 

which is too many to search through. Also, I rather doubt that there are 1996 
issues involving layout-set-staff-size :)

So I still don't know if it's worth while reporting the bug :(
 
Regards,

Peter
mailto:address@hidden
www.ptoye.com