|
page layout
|
|
0
|
903
|
October 8, 2018
|
|
Add persistent row ids (CM6)
|
|
5
|
1183
|
September 27, 2018
|
|
Indentation with space in codemirror
|
|
4
|
2502
|
September 13, 2018
|
|
How can ebnf notation be used to add a new language to Codemirror?
|
|
5
|
2393
|
September 10, 2018
|
|
SQL commenting
|
|
2
|
809
|
September 10, 2018
|
|
is the `textarea` inputStyle going to be deprecated in the future?
|
|
6
|
3141
|
September 7, 2018
|
|
Release 5.40.0
|
|
0
|
1105
|
August 25, 2018
|
|
New folding key for a not standard language
|
|
1
|
916
|
September 5, 2018
|
|
How to render comment whenever a comment is closed
|
|
3
|
870
|
September 2, 2018
|
|
Getting the linter working in React?
|
|
2
|
3963
|
September 1, 2018
|
|
Frozen codemirror when user add new line into brackets
|
|
3
|
894
|
August 30, 2018
|
|
Does CodeMirror have to use a textarea element?
|
|
4
|
1007
|
August 23, 2018
|
|
Line Height
|
|
2
|
3436
|
August 21, 2018
|
|
how record change timestamp of every line in editor?
|
|
1
|
1035
|
August 19, 2018
|
|
Treating non-webkit browsers differently (padding-right)
|
|
1
|
753
|
August 15, 2018
|
|
code snippets addition
|
|
1
|
901
|
August 11, 2018
|
|
Code editor screen reader accessiblity survey
|
|
5
|
4240
|
August 11, 2018
|
|
anyword hinting while in JavaScript mode
|
|
7
|
2895
|
August 10, 2018
|
|
Is last line showing?
|
|
2
|
1101
|
August 2, 2018
|
|
Linter for C sharp
|
|
1
|
1217
|
July 26, 2018
|
|
The cursor places incorrectly
|
|
2
|
921
|
July 25, 2018
|
|
Bubble event handled in extraKeys
|
|
1
|
1138
|
July 25, 2018
|
|
how to add My personal theme
|
|
0
|
826
|
July 23, 2018
|
|
Ability to undo indent selection?
|
|
1
|
771
|
July 18, 2018
|
|
"Clike" language doesnt work with escaping
|
|
1
|
782
|
July 18, 2018
|
|
Codemirror allows me to edit other elements on my website
|
|
1
|
887
|
July 18, 2018
|
|
Autocomplete hint widget doesn't show up in remote case.
|
|
1
|
1401
|
July 11, 2018
|
|
CodeMirror.connect is not a function
|
|
2
|
2671
|
July 2, 2018
|
|
newbie on Auto Completion
|
|
3
|
1456
|
June 29, 2018
|
|
addWidget, problem with element position
|
|
1
|
754
|
June 26, 2018
|