[Galaxy-user] other "random" problems

Periodically when I go back to Galaxy from the results I either get the error text I sent the other day or no tool panel. I don't see a direct cause or conditions when it happens. The other thing I have been noticing that on submitting a query sometimes the history panel doesn't refresh and I have to click refresh to get the latest query added. Belinda