Irakli Gozalishvili 0759ee67dd Use element.ownerDocument instead of document.		2011-09-09 14:55:43 +02:00
..
cursor.js	Make padding text layer specific so that print margin and active line highlight are not affected. #342	2011-07-14 11:44:28 +02:00
gutter.js	remove unneeded </div>, and remove entities not present in xml	2011-09-01 10:54:59 +05:00
marker.js	fix problem with the row cache	2011-07-28 16:52:00 +02:00
text.js	Use element.ownerDocument instead of document.	2011-09-09 14:55:43 +02:00
text_test.js	add unit test for #375	2011-08-10 11:28:42 +02:00