nightwing 9d0f2e41e8 lazy highlighter for selected word		2012-05-30 22:45:12 +04:00
..
cursor.js	move text area to cursor only when cursor is moved	2012-05-01 17:32:07 +04:00
gutter.js	do not store copy of breakpoints array in gutter	2012-05-25 21:07:18 +04:00
marker.js	lazy highlighter for selected word	2012-05-30 22:45:12 +04:00
text.js	improve bgTokenizer	2012-05-24 22:07:59 +04:00
text_test.js	improve bgTokenizer	2012-05-24 22:07:59 +04:00