Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
added searching of colorramps in style manager #429
added a commit
this pull request
Jul 3, 2013
I have merged the pull request, as it seems to work fine and does not create any regressions.