Font change doesn't affect the index panel

Issue #190 closed
jsbien created an issue

Tested with Cardo font.

Comments (12)

  1. Michał Rudolf repo owner

    Preferences option is "Text results font", I don't see how this can imply it also affects index which definitely is not it.

  2. jsbien reporter

    Do we really want a separate font settings for index? I don't mind it, it can be even useful, but isn't an addiitonal work?

  3. Michał Rudolf repo owner

    The question is rather: should we apply the text results font to index? For now, system font is used by index, as these are editable entries edited in standard system dialog. I don't think it is a good approach to use non-system font for it.

    After all, you don't set a font for each dialog of each application - you just set the suitable system font for the whole OS and use special fonts only where it is really needed (browser/text editor/special views). This applies to text results here but I don't see why it should affect index.

  4. jsbien reporter

    And was is the system font? What about reporting its name and size somewhere? How to change it?

    Linde's dictionary contains some unusual characters, in the system font on my computer they are too difficult to recognize.

  5. jsbien reporter

    The index panel should not depend in system defaults, should be fully controleld by the user as often some special fonts are needed to display entries.

  6. jsbien reporter

    In the meantime we have changed the meaning of "the index panel". I understand it is possible now to change the font in the panel of text concordances, but the "new" index panel is not affected.

  7. Log in to comment