Abdelrazak Younes wrote: >> it was not useless. in fact particularly with index there was needed from >> time >> to time. > > Then this is a bug. Such things should be detected automatically.
you are right, but one has to be very careful about when exactly reset the contents. i took me many days to pinpoint annoying #3740 bug and dont want to debug it again. in fact i would like to make toc more persistent wrt (un)collapsing then it is now, hopefully in berlin. >> what if we put sort checkbox on the right side of the slider? >> > > Fine with me but even then, I don't think the update button is needed. It > is a work around bugs that should be solved. please dont remove if possible. pavel
