Op 27 jun. 2012 22:33 schreef "Uwe Stöhr" <uwesto...@lyx.org> het volgende:
>
> The branch, master, has been updated.
>
> - Log -----------------------------------------------------------------
>
> commit b6192b7c7f15b44e1f36074c60cc5fc645adcac2
> Author: Uwe Stöhr <uwesto...@lyx.org>
> Date:   Wed Jun 27 22:32:36 2012 +0200
>
>    texlyx: re-privatize a variable as suggested
>
> diff --git a/src/tex2lyx/Parser.h b/src/tex2lyx/Parser.h
> index 3cf3dbd..c0c5685 100644
> --- a/src/tex2lyx/Parser.h
> +++ b/src/tex2lyx/Parser.h
> @@ -251,8 +251,6 @@ public:
>        void setCatCode(char c, CatCode cat);
>        ///
>        CatCode getCatCode(char c) const;
> -       /// latex name of the current encoding
> -       std::string encoding_latex_;
>
>  private:
>        ///
> @@ -267,6 +265,8 @@ private:
>        idocstringstream * iss_;
>        ///
>        idocstream & is_;
> +       /// latex name of the current encoding
> +       std::string encoding_latex_;
>  };
>
>
> diff --git a/src/tex2lyx/text.cpp b/src/tex2lyx/text.cpp
> index 2962cff..f46789c 100644
> --- a/src/tex2lyx/text.cpp
> +++ b/src/tex2lyx/text.cpp
> @@ -1461,7 +1461,7 @@ void parse_environment(Parser & p, ostream & os,
bool outer,
>                eat_whitespace(p, os, parent_context, false);
>                parent_context.check_end_layout(os);
>                // store the encoding to be able to reset it
> -               string const encoding_old = p.encoding_latex_;
> +               string const encoding_old = p.getEncoding();
>                string const encoding = p.getArg('{', '}');
>                // SJIS and BIG5 don't work with LaTeX according to the
comment in unicode.cpp
>                // JIS does not work with LyX's encoding conversion
> @@ -1500,7 +1500,7 @@ void parse_environment(Parser & p, ostream & os,
bool outer,
>                        parent_context.font.language = lang_old;
>                        parent_context.new_paragraph(os);
>                }
> -               p.encoding_latex_ = encoding_old;
> +               p.getEncoding() = encoding_old;

Omg, you must be kidding ? This can't work.

Vincent

Reply via email to