Pavel Sanda wrote:
here is a patch. feel free to change it.
Thanks. I've applied a modified version.
Jürgen
Pavel Sanda wrote:
> here is a patch. feel free to change it.
Thanks. I've applied a modified version.
Jürgen
On Saturday 21 July 2007 06:27:44 Jürgen Spitzmüller wrote:
This oneline fixes it. OK to commit?
Jürgen
OK. Both for patch and for documentation.
--
José Abílio
José Matos wrote:
OK. Both for patch and for documentation.
Thanks.
I'll shove it in this evening.
Jürgen
On Saturday 21 July 2007 06:27:44 Jürgen Spitzmüller wrote:
> This oneline fixes it. OK to commit?
>
> Jürgen
OK. Both for patch and for documentation.
--
José Abílio
José Matos wrote:
> OK. Both for patch and for documentation.
Thanks.
I'll shove it in this evening.
Jürgen
Good idea. Do you want to have a go? utf8 is the normal unicode encoding
here is a patch. feel free to change it.
pavel
--- UserGuide.lyx 2007-07-03 12:55:59.0 +0200
+++ UserGuide.lyx 2007-07-22 22:27:18.0 +0200
@@ -23737,6 +23741,62 @@
\family default
encoding,
> Good idea. Do you want to have a go? utf8 is the "normal" unicode encoding
here is a patch. feel free to change it.
pavel
--- UserGuide.lyx 2007-07-03 12:55:59.0 +0200
+++ UserGuide.lyx 2007-07-22 22:27:18.0 +0200
@@ -23737,6 +23741,62 @@
\family default
A user informed me that utf8-plain (for XeTeX) doesn't work because \inputenc
is called (which is exactly what utf8-plain shouldn't do).
btw, my list of encodings includes : utf8,UTF8,utf8x,utf8-plain.
i think that normal user (including me) has no idea which one
should be choosed. what about
Pavel Sanda wrote:
btw, my list of encodings includes : utf8,UTF8,utf8x,utf8-plain.
i think that normal user (including me) has no idea which one
should be choosed. what about to document is somewhere ?
Good idea. Do you want to have a go? utf8 is the normal unicode encoding
suitable for most
> A user informed me that utf8-plain (for XeTeX) doesn't work because \inputenc
> is called (which is exactly what utf8-plain shouldn't do).
btw, my list of encodings includes : utf8,UTF8,utf8x,utf8-plain.
i think that normal user (including me) has no idea which one
should be choosed. what
Pavel Sanda wrote:
> btw, my list of encodings includes : utf8,UTF8,utf8x,utf8-plain.
> i think that normal user (including me) has no idea which one
> should be choosed. what about to document is somewhere ?
Good idea. Do you want to have a go? utf8 is the "normal" unicode encoding
suitable for
12 matches
Mail list logo