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