removed; was used for the SyntaxTextEditor