# File karel/ur_robot.rb, line 146
  def set_pausing(pause = true)
    @pausing = pause
  end