Update winoptions for ignorePagerPreview and document the hitherto undocumented default winoption value for all windows. Fix garbled display of font names. Add more formatting.
Update winoptions for ignorePagerPreview and document the
hitherto undocumented default winoption value for all windows.
Fix garbled display of font names. Add more formatting.

dicej/icewm,dicej/icewm,dicej/icewm,dicej/icewm