Regarding this issue ( https://trello.com/card/filter-and-sort-select-tool-not-dealing-with-special-characters-right/506338ce32ae458f6d15e4b3/572 ):
No bug is apparent when using an up-to-date local instance of Galaxy (local history on Trello card). However, when using the Galaxy public server the bug is apparent (regular expressions are not registered). So we have come to a few conjectures, 1) The bug has already been fixed in the newest version of Galaxy or 2) Somehow, instantiating the public server is the source of the error (which is unlikely). If one can elucidate any misconceptions (especially about the current version of the Galaxy public server) that we may have that would be great. We would like to resolve this bug. Thank You
___________________________________________________________ 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: http://lists.bx.psu.edu/
