sequence: drop the separators in the header
main-page-sequence: replace a GtkTable with a GtkGrid
syncviews: port demo to gtk3 and add bug repro
ui: comment and debug logging tweaks
main-page-sequence: tweak scrollbar policy

Drep setting the defaults explicitly. Add bug comments and temp. disable the desired version that right now is broken.