view etc/mplayer256x256.png @ 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 6c6fb701fa8e
children
line wrap: on
line source

(binary:image/png)