Fix bug #3916 [interface] Missing scrollbar (original theme)