On Wed, Nov 29, 2006 at 10:09:48AM +0100, Georg Baum wrote:
> Enrico Forestieri wrote:
>
> > Note that it would suffice appending any character not being part of
> > the current numpunct facet, so the '\0' is pretty ok.
>
> If it works... (but I would have used a space, '\0' can be surprising).
Enrico Forestieri wrote:
> I did that. It turned out that the compiler num_get implementation
> finishes like this:
>
> if (__beg == __end)
> __err |= ios_base::eofbit;
> return __beg;
>
> So, if there's nothing after the last character part of the number being
> read, the eofbit is set, invalid
On Tue, Nov 28, 2006 at 06:26:49PM +0100, Georg Baum wrote:
> Enrico Forestieri wrote:
>
> > You maybe right, but without the terminator I see red names, whereas
> > with the zero-terminator I see the symbols... Indeed, I was so sure
> > that it had worked without the terminator that I didn't both
Enrico Forestieri wrote:
> You maybe right, but without the terminator I see red names, whereas
> with the zero-terminator I see the symbols... Indeed, I was so sure
> that it had worked without the terminator that I didn't bothered to
> check it, at first.
That means that there is some other pro
On Tue, Nov 28, 2006 at 11:02:27AM +0100, Georg Baum wrote:
> [EMAIL PROTECTED] wrote:
>
> > --- lyx-devel/trunk/src/support/docstring.C (original) +++
> > lyx-devel/trunk/src/support/docstring.C Tue Nov 28 01:24:18 2006 @@ -468,6
> > +468,7 @@
> > s.reserve(64);
> >
[EMAIL PROTECTED] wrote:
> --- lyx-devel/trunk/src/support/docstring.C (original) +++
> lyx-devel/trunk/src/support/docstring.C Tue Nov 28 01:24:18 2006 @@ -468,6
> +468,7 @@
> s.reserve(64);
> for (; iit != eit && isNumpunct(*iit); ++iit)
>
