tree 29864db4be7402f642ca76ff7029b3a157f6f487
parent d9ec29f64827bc703a23b1c33d653906a91713fc
author Mike Reed <reed@google.com> 1256246308 -0400
committer Mike Reed <reed@google.com> 1256246308 -0400

don't turn off filtering/dithering when we scroll.

Newer devices have proven plenty fast to leave the quality improvements on even during drag/scroll.