@recordable
    def close_scene(self, scene):
        active_window = self.window
        s = scene.scene
        for editor in active_window.editors[:]:
            if isinstance(editor, scene_editor.SceneEditor):
                if id(editor.scene) == id(s):
                    editor.close()
                    break
        # Flush the UI.
        GUI.process_events()

    ######################################################################
    # Non-public interface
    ######################################################################
If there is no pending push request we'll only send IRC and
dataset/ETHPy150Open enthought/mayavi/mayavi/plugins/envisage_engine.py/EnvisageEngine.close_scene--crossover with--dataset/ETHPy150Open YelpArchive/pushmanager/pushmanager/tests/test_servlet_newpush.py/NotificationsTestCase.test_send_notifications_empty_user_list