[galaxy-dev] [hg] galaxy 3278: Small changes to the list of pre-set options i...