def _after(self, delay, fun, *args):
        """ Execute fun(*args) after delay milliseconds.

        # Patched to quit after `KeyboardInterrupt`s.
        """
        def wrapped_fun():
            try:
                fun(*args)
            except __HOLE__:
                _logger.info("Detected KeyboardInterrupt. Exiting.")
                self.quit()
        self.master.after(delay, wrapped_fun)
dataset/ETHPy150Open ASPP/pelita/pelita/ui/tk_canvas.py/TkApplication._after