chebfun/chebfun — pull request #966 by asgeirbirkis (2014-06-20 10:22:39+00:00)
Title: Chebgui snagging

Various snagging for CHEBGUI. Let's not delete this branch for today, so that I can keep pushing to it, and the changes can be quickly reviewed and merged.