[tor-commits] [flashproxy/master] Make the debug_div scrollable.