#902 Allow to change font of dictionary pane

[Guido Leenders]

Font of dictionary window does not change when changing the font for the other windows. See picture. All other windows have a "funny" font, but the dictionary is still some helvetica alike.

Reason:
when font is picked, it fires:

CoreEvents.fireFontChanged(newFont);

The dictionary is of EntryInfoThreadPane which extends EntryInfoPane. EntryInfoPanel registers for font changed events. Add for instance glossarytextarea also is of entryinfothreadpane. So that is not the cause.

The dictionaryarea is of type text/html (setContentTye text/html).

[Guido Leenders]

See patch. This patch will make the dictionary window also adhere to the font changes.

[Guido Leenders]

Patch

[Didier Briel]

Ticket moved from /p/omegat/bugs/622/

[Didier Briel]

This is not a bug. It was defined that way because the dictionary (as per the specifications) could define the font used, and especially the size of the font, etc.

I have moved to RFE, and changed the title accordingly.

Didier

[Didier Briel]

Some dictionaries are able to display bold, colour, etc., which does not appear in your screenshot.
I attach a screenshot.