mediawiki-extensions-CodeMi.../resources
MusikAnimal 46b458cc0c CodeMirrorWikiEditor: add extension for multiple selections/cursors
This was preexisting behaviour in CM5 as a rather hidden feature,
and this patch brings it to CM6 keeping it just as hidden. That is,
to have focus in the texatrea, hit Ctrl (or ⌘ on Mac) to insert multiple
cursors, and similarly multiple selections and change their content.

This doesn't actually fix the bug reported at T211205. That may not
even be fixable, since jQuery.textSelection is the interface used to
interact with editors, and it doesn't support multiple selections.

Bug: T211205
Change-Id: I9d4d634c2ba46b909543a0090b871cee4b183fa0
2024-02-14 08:09:25 -05:00
..
addon/edit build: Update linters 2023-09-13 14:02:43 +01:00
dist CodeMirrorWikiEditor: add extension for multiple selections/cursors 2024-02-14 08:09:25 -05:00
lib resources: Manage upstream CodeMirror using ManageForeignResources 2023-09-21 12:40:53 +01:00
mode/mediawiki fix heading style conflict with CM5 2024-01-18 23:53:52 +08:00
modules/ve-cm Remove useless @copyright tags from VE code headers 2023-12-18 17:01:58 +00:00
.eslintrc.json CodeMirror6: add new modules, feature flag, and URL query parameter 2023-10-09 19:51:24 -04:00
ext.CodeMirror.js Convert applicable ResourceLoader modules to use packageFiles 2023-08-24 11:55:13 -04:00
ext.CodeMirror.less CodeMirror: highlight special characters and non-breaking spaces 2024-02-13 14:57:06 -05:00
ext.CodeMirror.v6.WikiEditor.init.js Implement core MediaWiki stream parser for CodeMirror 6 2024-01-02 23:18:32 -05:00
ext.CodeMirror.v6.WikiEditor.less CodeMirror: highlight special characters and non-breaking spaces 2024-02-13 14:57:06 -05:00
ext.CodeMirror.WikiEditor.js Bump Node dependencies and fix deprecations and linting failures 2023-12-06 00:43:15 -05:00