Re: [galaxy-dev] Tool menu customization :: Card #727

2013-06-13 Thread Björn Grüning
Hi, since John patch is applied I created a pull request for that feature: https://bitbucket.org/galaxy/galaxy-central/pull-request/179/implement-the-ability-to-change-the-tool/diff Comments welcome! Björn > Hi, > > thanks to the awesome work from John Chilton in pull request #160 [1] I > hack

[galaxy-dev] Tool menu customization :: Card #727

2013-04-22 Thread Björn Grüning
Hi, thanks to the awesome work from John Chilton in pull request #160 [1] I hacked up a first version of a tool customization that can be controlled by the user [2]. Requested as trello card #727. The user will have a new preference panel (see the attached screenshot) and can toggle several custo