Changeset 5d84e9f in report for tools


Ignore:
Timestamp:
Apr 28, 2010 1:11:20 PM (10 years ago)
Author:
Simon Marlow <marlowsd@…>
Branches:
h2010, master
Children:
f839df8
Parents:
1b3f266
Message:

widen the third column in syntax tables

File:
1 edited

Legend:

Unmodified
Added
Removed
  • tools/tex.hs

    r1b3f266 r5d84e9f  
    602602
    603603syntaxCols :: [Int]
    604 syntaxCols = [100,20,250]
     604syntaxCols = [100,20,350]
    605605
    606606doSyntaxLines :: State -> [String] -> PC
Note: See TracChangeset for help on using the changeset viewer.