Changed ~ paces into \, spaces

Miha

2018-11-21 39922f0891e0e322deaebdcb01621af9a7321695

Changed ~ paces into \, spaces

 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(".", ",\!")
            )