TextEditor: tweak style
Add missing @Override annotations