Menu
▾
▴
#128 Unnecessary SectionManager initialisation in Unicode2Latex
The field sectInfo_ in Unicode2Latex is always initialised to a new SectionManager. This causes loading the command definitions from file and is in general an expensive operation. Furthermore, in most cases (it seems), the section manager is set specifically anyway, hence making the initialisation unnecessary.
The printing can happen quite often, e.g. during generating ErrorAnn.toString() and such initialisation should be avoided when not needed.
Need to review how it would be best to provide a specific SectionManager without initialisation, but still ensure correct usage when a specific one is not given.