Remove $UseSansSerif. add autoload() ...

which can be called from front-ends.

Author: rocky

mathics/autoload/settings.m

@@ -11,6 +11,7 @@
 Settings`$PreferredBackendMethod = "sympy"
 Unprotect[Settings`$PreferredBackendMethod]
 
+(* FIXME: remove this when all front-ends are adjusted to set this. *)
 (* Some packages like Feyncalc, test for whether a they are being used
 inside a notbook. *)
 System`$Notebooks::usage = "Set True if the Mathics is being used with a notebook-based front end.";

mathics/builtin/inout.py

@@ -18,7 +18,6 @@
     BoxConstruct,
     BoxConstructError,
     Operator,
-    Predefined,
 )
 from mathics.builtin.tensors import get_dimensions
 from mathics.builtin.comparison import expr_min
@@ -51,35 +50,6 @@
 MULTI_NEWLINE_RE = re.compile(r"\n{2,}")
 
 
-class UseSansSerif(Predefined):
-    """
-    <dl>
-      <dt>'$UseSansSerif'
-      <dd>controls whether the Web interfaces use a Sans-Serif font.
-    </dl>
-
-    When set True, the output in MathMLForm uses SansSerif fonts instead
-    of the standard fonts.
-
-    X> $UseSansSerif
-     = True
-    X> $UseSansSerif = False
-
-    """
-
-    context = "System`"
-    name = "$UseSansSerif"
-    attributes = ("Unprotected",)
-    value = True
-
-    rules = {"$UseSansSerif": str(value)}
-
-    messages = {}
-
-    def evaluate(self, evaluation):
-        return Integer(self.value)
-
-
 class Format(Builtin):
     """
     <dl>
@@ -2105,7 +2075,7 @@ def apply_mathml(self, expr, evaluation) -> Expression:
 
         # mathml = '<math><mstyle displaystyle="true">%s</mstyle></math>' % xml
         # #convert_box(boxes)
-        query = evaluation.parse("System`$UseSansSerif")
+        query = evaluation.parse("Settings`$UseSansSerif")
         usesansserif = query.evaluate(evaluation).to_python()
         if not is_a_picture:
             if usesansserif:
@@ -2115,55 +2085,6 @@ def apply_mathml(self, expr, evaluation) -> Expression:
         return Expression("RowBox", Expression(SymbolList, String(mathml)))
 
 
-class HTMLForm(Builtin):
-    """
-    <dl>
-    <dt>'HTMLForm[$expr$]'
-        <dd>displays $expr$ as a HTML expression.
-    </dl>
-
-    >> HTMLForm[HoldForm[Sqrt[a^3]]]
-     = ...
-
-    ## Test cases for Unicode - redo please as a real test
-    >> MathMLForm[\\[Mu]]
-    = ...
-
-    # This can causes the TeX to fail
-    # >> MathMLForm[Graphics[Text["\u03bc"]]]
-    #  = ...
-
-    ## The <mo> should contain U+2062 INVISIBLE TIMES
-    ## MathMLForm[MatrixForm[{{2*a, 0},{0,0}}]]
-    = ...
-    """
-
-    def apply_hml(self, expr, evaluation) -> Expression:
-        "MakeBoxes[expr_, HTMLForm]"
-
-        boxes = MakeBoxes(expr).evaluate(evaluation)
-        try:
-            xml = boxes.boxes_to_mathml(evaluation=evaluation)
-        except BoxError:
-            evaluation.message(
-                "General",
-                "notboxes",
-                Expression("FullForm", boxes).evaluate(evaluation),
-            )
-            xml = ""
-        is_a_picture = xml[:6] == "<mtext"
-
-        # mathml = '<math><mstyle displaystyle="true">%s</mstyle></math>' % xml
-        # #convert_box(boxes)
-        query = evaluation.parse("System`$UseSansSerif")
-        usesansserif = query.evaluate(evaluation).to_python()
-        if not is_a_picture:
-            if usesansserif:
-                xml = '<mstyle mathvariant="sans-serif">%s</mstyle>' % xml
-
-        mathml = '<math display="block">%s</math>' % xml  # convert_box(boxes)
-        return Expression("RowBox", Expression(SymbolList, String(mathml)))
-
 class PythonForm(Builtin):
     """
     <dl>

mathics/core/definitions.py

@@ -41,7 +41,7 @@ def valuesname(name) -> str:
         return name[7:-6].lower()
 
 
-def autoload_file(defs, root_dir_path: str, autoload_dir):
+def autoload_files(defs, root_dir_path: str, autoload_dir):
     from mathics.core.evaluation import Evaluation
 
     # Load symbols from the autoload folder
@@ -109,7 +109,7 @@ def __init__(
                     builtin_file = open(builtin_filename, "wb")
                     pickle.dump(self.builtin, builtin_file, -1)
 
-            autoload_file(self, ROOT_DIR, "autoload")
+            autoload_files(self, ROOT_DIR, "autoload")
             # Load symbols from the autoload folder
             for root, dirs, files in os.walk(os.path.join(ROOT_DIR, "autoload")):
                 for path in [os.path.join(root, f) for f in files if f.endswith(".m")]: