New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Complete migration to new string printing system #23

Open

geometer opened this issue Jun 19, 2020 · 0 comments

Labels

code cleanup enhancement

Owner

geometer commented Jun 19, 2020 •

edited

Loading

The new system, based on Comment class instead of obsolete LazyComment is

More flexible: we can define printers for strings, and we do use it to implement MathJax text processing on the server
Safer: there is parameter type checking in this new version
Again, more flexible: it can be used for strings localisation as the order of the parameters does not matter in this new solution

The migration is not complete yet. LazyComment must die!

geometer added enhancement code cleanup labels

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment