changed color of record attributes

This commit is contained in:
Jonas Rosling 2012-07-10 16:32:40 +02:00
parent 3b64e52d7c
commit 8c85cc7fd8
1 changed files with 1 additions and 1 deletions

View File

@ -7,7 +7,7 @@
=String_esc fg_000 bold =String_esc fg_000 bold
=Int fg_033 =Int fg_033
=Record fg_530 =Record fg_530
=Recatt fg_530 =Recatt
=Fun fg_115 =Fun fg_115
=Module fg_101 =Module fg_101
=Keyword bold =Keyword bold