j
k
j a
j l
Scintilla 5.1.2 is imminent. I'm currently planning to migrate to that in a separate PR if that's OK, so that this PR can be merged earlier and the 5.1.{1 -> 2} diff can be treated on its own.
Attachments:
Back to the thread
Back to the list