Abdelrazak Younes wrote:
Yes, the patch from Stefan. I would like to commit it but I have a problem: I can see that the toggle TOC menu item works correctly but the former TOC toolbar button is not there anymore, I don't know why... Do you see it?
the correct toolbar item has become dialog-toggle toc before it was toc_view (or something like that)
