On Mar 1, 2013, at 5:27 AM, Christian Jacobs <JCD.Jacobs(a)t-online.de> wrote:
I tried to use a different font and theme when I write
latex, however it does not work and I can not figure out why.
Not sure about font settings, but theme is described as “presently unused but will be
I’m not sure how current that wiki page is, but I haven’t seen anything in the release
notes that would suggest it’s been implemented.