e-letter wrote: > The instruction to change the default font size wthin 'options' does > not have any impact on the size of element names, the text within > comment boxes are not affected by this instruction. The font size > remains too small
That's right. Sorry, I thought you were taking about the styled view (most users pick XMLmind XML Editor for its styled view). As of XMLmind XML Editor v3.5, the base font size of the GUI (that is, Options|Options, General section, "Font size" combobox) also influences the size of the font used for elements names, text nodes, comment nodes, etc, which are displayed by the tree view. --- The size of the font used by the tree view is now 2pt less than the base font size of the GUI (an option which can be changed using Options|Options, General section, Font size). Previously, the size of the font used by the tree view was fixed to 10pt. --- Note that you need to restart XMLmind XML Editor to apply a change of the base font size of the GUI.
