Improve with_unicode

Some time ago `with_unicode` was improved in Oscar, apply that here.
Nemocas · Nov 5, 2023 · 4c0e0f1 · 4c0e0f1
1 parent 8e35f2d
commit 4c0e0f1
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 4 deletions.
diff --git a/src/AbstractAlgebra.jl b/src/AbstractAlgebra.jl
@@ -18,7 +18,7 @@ import GroupsCore
 import GroupsCore: gens, ngens, order, mul!, istrivial
 
 # A list of all symbols external packages should not import from AbstractAlgebra
-import_exclude = [:import_exclude, :QQ, :ZZ,
+const import_exclude = [:import_exclude, :QQ, :ZZ,
                   :RealField, :number_field,
                   :AbstractAlgebra,
                   :inv, :log, :exp, :sqrt, :div, :divrem,

diff --git a/src/PrettyPrinting.jl b/src/PrettyPrinting.jl
@@ -1398,9 +1398,12 @@ function is_unicode_allowed()
 end
 
 function with_unicode(f::Function)
-  old_allow_unicode = allow_unicode(true);
-  f()
-  allow_unicode(old_allow_unicode);
+  old_allow_unicode = allow_unicode(true)
+  try
+    f()
+  finally
+    allow_unicode(old_allow_unicode)
+  end
 end
 
 ################################################################################