From 39922f0891e0e322deaebdcb01621af9a7321695 Mon Sep 17 00:00:00 2001
From: Miha <miha.fosnaric@fe.uni-lj.si>
Date: Wed, 21 Nov 2018 14:56:48 +0000
Subject: [PATCH] Changed ~ paces into \, spaces
---
aoi_gen/Variable.py | 6 +++---
1 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/aoi_gen/Variable.py b/aoi_gen/Variable.py
index 1196f2b..967ec41 100644
--- a/aoi_gen/Variable.py
+++ b/aoi_gen/Variable.py
@@ -38,7 +38,7 @@
if formatting.split()[0] == "prefix":
leading_space = ""
else:
- leading_space = "~"
+ leading_space = "\,"
if formatting == "str" or formatting == "string":
return formatter.toFormat(self.value)
elif glyph is None and unit is None:
@@ -235,12 +235,12 @@
(exp, man) = self.realign3(exp, man)
if exp == 0:
return (
- ("{:." + str(self.precision - 1) + "f}~").format(man).replace(".", ",\!")
+ ("{:." + str(self.precision - 1) + "f}\,").format(man).replace(".", ",\!")
)
else:
prefix = self.exp2prefix(exp)
return (
- ("{:." + str(self.precision - 1) + "f}~\mathrm{{{}}}")
+ ("{:." + str(self.precision - 1) + "f}\,\mathrm{{{}}}")
.format(man, prefix)
.replace(".", ",\!")
)
--
Gitblit v1.8.0