David Majda 28860e88df Position tracking: Cache position info computed by |line| and |column| ... Cache the last reported position info. If the position advances, the code uses the cache and only computes the differnece. If the position goes back, the cache is simply dropped.		2012-12-02 13:06:16 +01:00
..
passes	Position tracking: Cache position info computed by |line| and |column|	2012-12-02 13:06:16 +01:00
passes.js	Git repo npmization: Make the repo a npm package	2012-11-10 14:21:14 +01:00