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