Added a refresh call in a somewhat arbritrary timer

This to be able to tell code mirror it needs refresh once a theme is
selected.  Some themes seem to have some issues like Solarized