Re: another patch...

[Lars Gullik Bjønnes]

[EMAIL PROTECTED] (Lars Gullik Bjønnes) writes:

| time ./src/lyx -x lyx-quit ../../local/lyxdoc/UserGuide.lyx
| About to handle -x 'lyx-quit'
|  
| real    0m8.495s
| user    0m5.880s
| sys     0m0.030s         
| 
| On a PIII 700Mhz (with primed cache)

With braindead use of push_heap:

time ./src/lyx -x lyx-quit ../../local/lyxdoc/UserGuide.lyx
About to handle -x 'lyx-quit'
 
real    0m8.515s
user    0m6.010s
sys     0m0.050s       

        Lgb