Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
I find that with an open search, you get more results if you stop it first then restart, instead of just restarting it.
That must be a pure coincidence. The "restart" operation is coded as "stop" + "clear results" + "start", so if you see different results, it is probably because of the network dynamics. I don't see any bug in the implementation or anything that could explain the behaviour you're describing.
Can you do more tests?
it happens everytime. I get no more search results when I restart (or maybe like a few still coming in or something).
maybe it uses the same search GUID again?
You seem to have CSS turned off.
Please don't fill out this field.
It is unclear why this happens, but I cannot manage to tie this behaviour to a bug in the code. Closing the "bug".