prettier parameter names in PGF

This commit is contained in:
krasimir
2010-01-17 00:41:46 +00:00
parent 190cd6930b
commit 61867b2b72

View File

@@ -228,9 +228,8 @@ mkParamLincat sgr lang cat = errVal (C.R [C.S []]) $ do
return $ C.S [p',v']
Sort s | s == cStr -> return $ C.S []
_ -> return $
C.FV $ map (kks . filter showable . render . ppTerm Unqualified 0) $
C.FV $ map (kks . renderStyle style{mode=OneLineMode} . ppTerm Unqualified 6) $
errVal [] $ Look.allParamValues sgr typ
showable c = not (isSpace c) ---- || (c == ' ') -- to eliminate \n in records
kks = C.K . C.KS
-- return just one module per language