Good! Then forget about my DrawerView proposition.

(Will 4.3 be out reasonably soon? Can we rely on it for the 1.5.0 release?)

I think this is a safe bet.

Anyway, this patch is looking promising. I can confirm that the toolbar button does toggle the TOC drawer, but the menu is grayed out. (Also, my custom key binding doesn't toggle it either.)

Then I'll let Stefan and JMarc continue with this (please no #ifdef if no needed).

Will clean it up later today.

Stefan, where are you WRT SVN access?

Wrote Andre a mail about it.... Is he the one responsible to create accounts?

Stefan

Attachment: PGP.sig
Description: Signierter Teil der Nachricht

Reply via email to