Something appeared in abbrev_defs
Go back to solarized-dark on debian
No scrollbar (not even horizontal)