tideeditor-1.4.5 (2019-02-03) Applied a patch from Egil Kvaleberg to correct inconsistent behavior in locales that use comma as decimal separator. Get it from https://flaterco.com/xtide/files.html#extras. DWF