|
Sounds good to me. I will keep PrettyPrinter as a plugin until that decision is made.
That said, the old Prettify has not had a bug report against it in a long time. It can now be configured as well. The only way it can hurt html is when people use white-space controlling css *outside* of a pre, script, or style tag which can now be tested for to make things safer.
And I actually prefer plugins for adding features as Sigil has reached the point of feature saturation in my humble opinion unless it is a feature that helps the vast majority of users.
|