TextEditor : new "fold all" button