From 738b703c246b9ca90aeb041633d0b97e168cf6e8 Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Sat, 19 Feb 2022 13:40:03 -0800 Subject: [PATCH] src/sage/repl/all.py: Also import get_display_manager --- src/sage/repl/all.py | 2 ++ 1 file changed, 2 insertions(+) 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