nightwing 93fb27747e remove unneeded </div>, and remove entities not present in xml		2011-09-01 10:54:59 +05: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	remove unneeded </div>, and remove entities not present in xml	2011-09-01 10:54:59 +05:00
text_test.js	add unit test for #375	2011-08-10 11:28:42 +02:00