CM6's equivalence to mode options
|
|
1
|
220
|
October 23, 2023
|
Editor panel from @codemirror/view on a side
|
|
3
|
258
|
October 23, 2023
|
EditorView assumes the existance of global "document"
|
|
4
|
242
|
October 23, 2023
|
Is there a way to read style tags in autocomplete?
|
|
2
|
204
|
October 23, 2023
|
Can you style elements without tags?
|
|
0
|
201
|
October 23, 2023
|
Is there a way to impose node on other nodes?
|
|
3
|
262
|
October 20, 2023
|
What's the reason behind commentTokens?
|
|
1
|
334
|
October 20, 2023
|
Option to disable parsing of xmpp in AutoLink
|
|
3
|
166
|
October 19, 2023
|
How to highlight lines?
|
|
7
|
1787
|
October 19, 2023
|
Parser version (undefined) doesn't match runtime version (13)
|
|
1
|
390
|
October 18, 2023
|
Read-only Facets?
|
|
7
|
498
|
October 18, 2023
|
Stop autocomplete from blinking on typing
|
|
9
|
742
|
October 17, 2023
|
is it possible to show latex hint in codemirror6
|
|
3
|
272
|
October 17, 2023
|
Can we replace text with react nodes
|
|
0
|
185
|
October 11, 2023
|
Disappearing cursor in code mirror editor
|
|
0
|
237
|
October 11, 2023
|
How to highlight comment in comment
|
|
4
|
297
|
October 9, 2023
|
Dynamically render CodeMirror on focus of div
|
|
0
|
225
|
October 6, 2023
|
Trigger a StateEffect when focus changes
|
|
8
|
1418
|
October 2, 2023
|
Custom Language Support
|
|
4
|
446
|
September 30, 2023
|
tooltip positioning as fixed vs absolute in latest updates
|
|
8
|
837
|
September 22, 2023
|
How to get cursor blinking rate in another extension?
|
|
5
|
363
|
September 20, 2023
|
How to install codemirror 6?
|
|
2
|
1301
|
September 15, 2023
|
how to enable linewrapping in vercel
|
|
0
|
348
|
September 13, 2023
|
focusChangeEffect interaction with panels
|
|
1
|
256
|
September 6, 2023
|
Codemirror 6: Move cursor to specific line and mark its text
|
|
3
|
1529
|
September 1, 2023
|
python language server with codemirror6
|
|
4
|
1214
|
August 31, 2023
|
How I can customise the autoComplete dropdown list
|
|
2
|
304
|
August 31, 2023
|
How I can adjust the editor height in percentage as its taking in pixel only
|
|
0
|
218
|
August 31, 2023
|
How I can insert text at the current cursor position
|
|
0
|
294
|
August 31, 2023
|
How can I customize the fold widget based on the contents of the folded text?
|
|
9
|
774
|
August 30, 2023
|