Don't show scrollbar on terminals
Add scrollbar to theming (for webkit)
Fix collaboration on file (and reset participants when switching from sync to async)