comparison gui/interface.h @ 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 ed153683310d
children f8d0a552f7a5
comparison
equal deleted inserted replaced
36588:dfde4dedb965 36589:7c0c1a5642f9