Re: [galaxy-dev] Changing tool panel ordering [was:] HOWTO for making new toolshed package

2013-09-12 Thread Lukasse, Pieter
Hi Bjoern, Thanks, that is helpful information. Updates to new revisions seem to work fine, i.e. the order as configured in shed_tool_conf.xml seems to be preserved. We are now facing what I think could be a small bug in the $PATH_TO_IMAGES part as documented in

Re: [galaxy-dev] Changing tool panel ordering [was:] HOWTO for making new toolshed package

2013-09-12 Thread Lukasse, Pieter
2013 16:13 To: 'Bjoern Gruening' Cc: 'Greg Von Kuster'; Galaxy Dev Subject: Re: [galaxy-dev] Changing tool panel ordering [was:] HOWTO for making new toolshed package Hi Bjoern, Thanks, that is helpful information. Updates to new revisions seem to work fine, i.e. the order as configured