From d8c13e15e7d6def728f7e54ab313e56f863ce8e7 Mon Sep 17 00:00:00 2001 From: Alberto Mengali Date: Mon, 9 Oct 2023 11:18:05 +0200 Subject: [PATCH] remove `@with_terminal` export This will remove the macro export from the TerminalNotebook as it's not defined anymore. As it is now, you get an error with Aqua tests if you re-export PlutoUI (as it errors if you are exporting non-existing names) --- src/TerminalNotebook.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/TerminalNotebook.jl b/src/TerminalNotebook.jl index c97e58b1..0a7a8a2b 100644 --- a/src/TerminalNotebook.jl +++ b/src/TerminalNotebook.jl @@ -187,7 +187,7 @@ function with_terminal(f, args...; color=true, show_value=true) end # ╔═╡ fe8c0c2f-8555-44f0-ae30-628ad4860157 -export with_terminal, @with_terminal +export with_terminal # ╔═╡ 376b7763-dd17-4147-a246-a530ace698ec # ╠═╡ skip_as_script = true