Replace double spaces and tabs with spaces

2022-04-05 03:22:57 +02:00 · 2022-04-05 03:22:57 +02:00 · 0cee8eeee2
parent 3595f6e4ec
commit 0cee8eeee2
1 changed files with 4 additions and 1 deletions
--- a/fspecs.py
+++ b/fspecs.py
@ -58,7 +58,10 @@ def getInfo(part,defn,index = 0):
 	except:
 		return False
 	
-	out = out.replace("\r","")
+	out = out.replace("\r","").replace("	"," ")
+	
+	while "  " in out:
+		out = out.replace("  "," ")
 	
 	try:
 		while out[0] == " " or out[0] == "	":