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?
Schimmi
Bild 8.png
Description: application/applefile
Bild 7.png
Description: application/applefile
toolbartoc.patch
Description: Binary data
toolbartoc2.patch
Description: Binary data
demote.xpm
Description: Binary data
promote.xpm
Description: Binary data
reload.xpm
Description: Binary data
PGP.sig
Description: Signierter Teil der Nachricht
