Do not hide scroll buttons if some tabs are still hidden.
Authored by: jplang 2009-12-17
Parent: [r3177]
Child: [r3179]