diff configure @ 36589:7c0c1a5642f9

Improve the dialog for font settings. Prettify the dialog by moving the combox box for font encodings up, and place it below the font file selector. In this way, everything related to font selection and its encoding is grouped together.
author ib
date Tue, 21 Jan 2014 20:34:56 +0000
parents 46747640f884
children 76bf1d04f31b
line wrap: on
line diff