Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes:

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

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

Note:  std::endl == << '\n' << flush

but sure, we can add a collection of our own stream manipulators.
 
-- 
        Lgb

Reply via email to