Let me note here that uploading overlay-scrollbar to Debian would probably help fixing similar problems earlier. There is already an RFP for it: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=675078
Let me note here that uploading overlay-scrollbar to Debian would probably help fixing similar problems earlier. bugs.debian. org/cgi- bin/bugreport. cgi?bug= 675078
There is already an RFP for it:
http://