Why different font families are used for index and text results?

Issue #308 new
jsbien created an issue

It causes problems with the Junicode font, needed for MUFI characters, which does not have the same repertoire in all the families.

Comments (5)

  1. jsbien reporter

    Perhaps the problem should be renamed: some characters (from Private Use Area?) are garbled when copied ti “Wyniki tekstowe” panel.

  2. Log in to comment