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