summaryrefslogtreecommitdiff
path: root/Build/source/utils/asymptote/base/plain_strings.asy
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/utils/asymptote/base/plain_strings.asy')
-rw-r--r--Build/source/utils/asymptote/base/plain_strings.asy8
1 files changed, 7 insertions, 1 deletions
diff --git a/Build/source/utils/asymptote/base/plain_strings.asy b/Build/source/utils/asymptote/base/plain_strings.asy
index 98f72f460aa..a466159d9c7 100644
--- a/Build/source/utils/asymptote/base/plain_strings.asy
+++ b/Build/source/utils/asymptote/base/plain_strings.asy
@@ -5,6 +5,7 @@ string defaultformat(int n, string trailingzero="", bool fixed=false,
}
string defaultformat=defaultformat(4);
+string defaultseparator="\!\times\!";
string ask(string prompt)
{
@@ -208,9 +209,14 @@ string math(real x)
return math((string) x);
}
+string format(string format, real x, string locale="")
+{
+ return format(format,defaultseparator,x,locale);
+}
+
string format(real x, string locale="")
{
- return format(defaultformat,x,locale);
+ return format(defaultformat,defaultseparator,x,locale);
}
string phantom(string s)