Add Dedent() after Indent() (#1462)

Nemocas · May 8, 2023 · c72c02d · c72c02d · thofma · May 8, 2023
1 parent 75eda0e
commit c72c02d
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -1,6 +1,6 @@
 name = "Nemo"
 uuid = "2edaba10-b0f1-5616-af89-8c11ac63239a"
-version = "0.34.0"
+version = "0.34.1"
 
 [deps]
 AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"

diff --git a/src/antic/nf_elem.jl b/src/antic/nf_elem.jl
@@ -260,6 +260,7 @@ function Base.show(io::IO, ::MIME"text/plain", a::AnticNumberField)
    println(io)
    io = AbstractAlgebra.pretty(io)
    print(io, AbstractAlgebra.Indent(), "over ", AbstractAlgebra.Lowercase(), QQ)
+   print(io, Dedent())
    #print(IOContext(io, :supercompact => true))
 end
 

diff --git a/src/embedding/EmbeddingTypes.jl b/src/embedding/EmbeddingTypes.jl
@@ -33,6 +33,7 @@ function show(io::IO, ::MIME"text/plain", f::FinFieldMorphism)
   print(io, Indent(), "from ", Lowercase(), domain(f))
   println(io)
   print(io, "to ", Lowercase(), codomain(f))
+  print(io, Dedent())
 end
 
 function show(io::IO, f::FinFieldMorphism)