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