address comments

oscar-system · Mar 19, 2024 · 56aabc0 · 56aabc0
1 parent 2a94e57
commit 56aabc0
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/help.jl b/src/help.jl
@@ -4,7 +4,8 @@ import Markdown
 import REPL
 
 if isdefined( REPL.TerminalMenus, :default_terminal)
-  default_terminal = REPL.TerminalMenus.default_terminal
+  import REPL.TerminalMenus: default_terminal
+# default_terminal = REPL.TerminalMenus.default_terminal
 else
   # before Julia 1.12
   function default_terminal()