[galaxy-dev] History does not automatically update anymore

Hi, I have noticed that in the latest version of galaxy-dist, my history does not automatically update anymore. I have to press the refresh circle to have it update... I did change my proxy setup a little, so it would no longer require API calls to be authenticated, while access through the frontend would still require that so it may have something to do with that, but just wanted to check if others see this issue... I will send out my proxy settings in a later email, since it may help people that are struggling with the same... Thon