diff --git a/src/sage/repl/all.py b/src/sage/repl/all.py index 71a012bc190..96fd6de5f6d 100644 --- a/src/sage/repl/all.py +++ b/src/sage/repl/all.py @@ -8,4 +8,6 @@ 'attach', 'detach', 'attached_files', 'load_attach_path', 'reset_load_attach_path', 'load_attach_mode']) +from sage.repl.rich_output.display_manager import get_display_manager + from sage.repl.rich_output.pretty_print import pretty_print, show