Re: [PATCH] filetools.C

[Herbert Voss]

On Fri, 3 May 2002, Angus Leeming wrote:

> +               if (lyxerr.level() & Debug::GRAPHICS) {
> +                       string const print_str = (str.size() > 60) ?
> +                               str.substr(0,60) : str;
> +                       lyxerr << "Scanstring: " << print_str << endl;
> +               }

can't you believe that str.substr(0,60) is always safe? :-)

Herbert