Am Sonntag 05 Juli 2015, 14:12:55 schrieb Georg Baum: > The attached patch fixes that and even simplifies the code. Does anybody > know of any reason _not_ to use unicodesymbols replacements for the user > preamble?
I consider the preamble to be "literate", just like ERT is. Thus, I think no auto-replacements should be performed. Jürgen > Georg