A simple editor for Grace