Mostafa Eweda 2c86ab5bcd Merge pull request #1085 from ajaxorg/folding-2 ... improve folding behavior		2012-11-06 23:48:06 -08:00
..
cursor.js	Merge pull request #988 from ajaxorg/fix/line-highlight	2012-10-29 01:44:32 -07:00
gutter.js	allow multiline annotations	2012-10-15 17:14:29 +04:00
marker.js	add missing else	2012-11-04 17:28:20 +04:00
text.js	allow folds with empty placeholder	2012-11-04 18:08:02 +04:00
text_test.js	Add BSD license headers	2012-09-06 22:48:34 +02:00