Dmitry Verkhoturov d6cce8df2c cleanup of the frontend code ...

- replace undocumented `substr` with `substring`
- remove unused code
- inline a few variables
- simplify ifs when possible
- improve saveCollapsedComments documentation
- cleanup the unused imports
- remove unused variables and types

2023-01-09 22:16:35 +01:00

..

remark42

cleanup of the frontend code

2023-01-09 22:16:35 +01:00