Method print_padded

doc/sphinx/source/simplerepl.py:83–84

(s)

        arr[cpos[0] : cpos[0] + 1, cpos[1] : cpos[1] + 1] = ["~"]

        def print_padded(s):
            return self.out(s.center(self.width + 8, "X"))

        print_padded("")
        print_padded(' enter -> "/", rewind -> "\\", ')