chebfun/chebfun — pull request #986 by asgeirbirkis (2014-06-20 22:50:14+00:00)
Title: Chebgui snagging

Some very minor fixes. These will be the last changes before release!