You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
thenputStrLn$"attempting to load unicode width table file "<> widthMapFile
130
-
elseputStrLn$"could not find unicode width table file "<> widthMapFile <>" using the xterm-256 one by default instead. Please run --widthtable to generate unicode width table file"
133
+
elsedo
134
+
putStrLn$"could not find unicode width table file "<> widthMapFile <>" lease run --widthtable to generate unicode width table file"
135
+
if doesDefaultWidthMapFileExist
136
+
thenputStrLn$"attempting to load default unicode width table file "<> defaultWidthMapFile
137
+
elsedo
138
+
--putStrLn $ "default unicode width tabel file DNE, oops, NBD, but wide chars may not render correctly"
0 commit comments