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....


Please keep all replies on the list by using "reply all"
in your mail client.  To manage your subscriptions to this
and other Galaxy lists, please use the interface at:


Reply via email to