[galaxy-dev] Can't see history settings, reload etc. after recent update

Hi, I just updated to the latest galaxy-dist, but now my history pane is not showing the options and no reload etc. Attached a picture, not sure it will come through... Any ideas? Now my galaxy is totally broken...I was hoping not to have to worry about it as much by switching to the galaxy-dist,from galaxy-central..... Hope I can revert the changes.... Thon