# File karel/karel_window.rb, line 480
        def scale_factor
          @scale_factor.yield()
        end