add (some) syntax checking to TextEditor. Texts with static errors can
longer be saved (user gets error notification)