Hello Jules,
do you think you could add a getInputFilter() method to the TextEditor class?
I would like to make a temporary duplicate of a TextEditor object and I cannot see how to inherit the filtering settings.
I guess something like:
const InputFilter* getInputFilter() const { return inputFilter; }
Thanks!