# File karel/karel_window.rb, line 321
    def scale_to_pixels(street, avenue)
       scale = scale_factor()
       [@_left + avenue*scale, @_bottom - street*scale]
     end