Amir E. Aharoni 2ad892ae81 Removed "Select prefered font" heading ...

It seems redundant to me: There are one or two dropdown menus for
selecting fonts, with pretty clear labels.

Change-Id: If6134997b7c34eeb32efed1dcee13c61d8af7750

2012-10-11 08:41:09 +02:00

13 KiB

Raw Blame History

View Raw