I do not think that we can use the default UI size because for special fonts a different (e.g. larger for Arabic) setting may be needed. Should we offer this as a separate configuration entry (font size for location fields)? Should it be language-dependent?
Regards, Martin.
The PorTB translation was removed from the Crosswire repo because of copyright issues. Therefore we cannot reproduce this bug any more, sorry.
Regards, Martin.
