lots of changes: 1) preferences is a standalone widget, not pretty but functional, 2) scroll widget is now traces widget, 3) some extra logging and doc