Abdelrazak Younes wrote: > > 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.
We have a reason for not using icons: missing accelerators. Jürgen
