[horde] auto-refresh of portal calendar widget

[Jens-U. Mozdzen]

Hi *,

I just noticed that in my browser's portal tab (a tab where Horde's  
portal view is open all the time) the calendar widget (Calendar  
Summary) did not pick up a change I made to my calendar earlier this  
day.

OTOH, i.e. the inbox widget did update successfully all along.

After hitting the browser's reload button, the calendar widget showed  
the new entry as well.

Isn't that widget supposed to auto-update? If it should, I'll further  
investigate...

Regards,
Jens