nightwing f976663150 remove redundant getRowHeight method		2012-08-03 18:46:58 +04:00
..
cursor.js	move text area to cursor only when cursor is moved	2012-05-01 17:32:07 +04:00
gutter.js	remove redundant getRowHeight method	2012-08-03 18:46:58 +04:00
marker.js	size multiline markers with "right" instead of "width"	2012-06-30 13:25:36 +04:00
text.js	folds with wrong range shouldn't break renderer	2012-06-30 13:25:36 +04:00
text_test.js	improve bgTokenizer	2012-05-24 22:07:59 +04:00