TextEditor::getInputFilter() suggestion

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; }


Sure, no problem.