GLab/ToMaTo — pull request #869 by swuest (2014-12-04 13:01:18+00:00)
Title: Changed editor error management to new error system

Closes #862