feature request: add line with bad characters to PROBLEMS panel
hoishing opened this issue ยท comments
In large documents, its hard to find all bad charaters by reading the red highlighted bad chars. It will be handy if the problem lines are listed in the PROBLEMS panel for easy access.
Thanks a lot for this handy extension ๐