Stefan Schimanski wrote:
Hi!The current TOC widget hurts my eyes, with labels like -> and a minimal width of 300 (a guess) pixels, see below. To make it a bit nicer (the slider still doesn't look right for my gui taste) I converted the buttons into toolbar buttons (No idea if there is an easy way to make them into a real toolbar). Opinions?
I like it. Abdel.
