A long time ago, the change of the L&F always required to restart jEdit, but jEdit.initPLAF()
has become more ambitious in this respect.
This leads to a slight disappointment with Metal, if that is already enabled and only
its primary/secondary font properties are changed. In that case the L&F remains unchanged,
and a full restart is required to see any effect.
| Submitted | makarius - 2015-05-24 22:30:49.166000 | Assigned | |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | minor bug |
| Resolution | None |