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

2013-01-15 Thread James Taylor
Do you see the same problem if you access main.g2.bx.psu.edu? What browser are you using? You may need to clear your browser cache. -- James Taylor, Assistant Professor, Biology/CS, Emory University On Mon, Jan 14, 2013 at 11:03 PM, Anthonius deBoer thondeb...@me.comwrote: Hi, I just

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

2013-01-14 Thread Anthonius deBoer
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

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

2013-01-14 Thread Anthonius deBoer
Never mind...I was pointing to some older galaxy-central scripts in my proxy setup...It's all good now :)ThonOn Jan 14, 2013, at 08:03 PM, Anthonius deBoer thondeb...@me.com wrote:Hi,I just updated to the latest galaxy-dist, but now my history pane is not showing the options and no reload