|
cursor.js
|
allow to customize cursor appearance
|
2014-11-21 23:14:24 +04:00 |
|
font_metrics.js
|
Sets offset of fontMetrics div to be 0.
|
2014-11-15 19:59:07 +01:00 |
|
gutter.js
|
destroy session when destroying the editor
|
2014-08-09 18:48:43 +04:00 |
|
text_test.js
|
Fix more CI failures.
|
2014-03-14 22:32:31 -07:00 |