disable header for text/plain

jishnub · jishnub · commit d55e8330401b · 2022-07-28T16:33:11.000+05:30
diff --git a/src/Extras/show.jl b/src/Extras/show.jl
@@ -115,7 +115,7 @@ end
 function show(io::IO, m::MIME"text/plain", s::QuotientSpace)
     show(io,s.space)
     print(io," /\n")
-    show(io, m, s.bcs)
+    show(io, m, s.bcs, header = false)
 end
 
 
