It would be nice to have tooltips in there. It took me a while to figure out what this slider might be good for, especially if you have a very short document only.
It is also unclear to me how the dock is supposed to (re-)appear. Right now, I have to insert a 'TOC' item in the main text and click on it. It is also unclear to me what the reaon for the existance of the combobox 'Type' is. It contains a single item only, and when double clicking on this, it gets deselected and the tree widget goes blank (and stays so until one of the other buttons is hit). Andre'
