With synaptic 0.82.4 libgtk-3-0 3.18.6-1 the scrollbar now appears when it's supposed to. So I guess this bug can be closed. (I can confirm that the problem was still present with libgtk-3-0 3.18.5-1.) mike