>>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:

Lars> Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes: |
Lars> >>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes: | |
Lars> Lars> Note that we don't use (almost) std::endl when outputting
Lars> to | Lars> streams, only when outputting to lyxerr/cerr | | Yes,
Lars> but we should (or rather a lyx::endl, if you prefer). This would
Lars> | avoid all the mess about adding a \n when there is already one
Lars> | present, thus creating a new paragraph break.

Lars> No we should not. std::endl flushes the stream and that is
Lars> _slow_.

Yes, that's why I suggested a lyx::endl, which would not do the flush
part.

JMarc

Reply via email to