Lennart Kats ed87f5326f Merge pull request #1678 from ajaxorg/line_widgets_pt1 ... Add support for line widgets		2013-11-13 10:10:24 -08:00
..
cursor.js	move textarea and gutter-line-highlight to main cursor	2013-02-22 14:22:20 +04:00
gutter.js	miscelaneous fixes from c9	2013-11-05 20:54:38 +04:00
marker.js	add extraStyle parameter to marker layer	2013-05-10 11:25:27 +02:00
text.js	always add height to line wrapper nodes	2013-11-08 00:56:04 +04:00
text_test.js	fix tests	2013-01-11 17:01:07 +04:00