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