wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-23 22:03:28 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeMi.../resources/ve-cm
History
MusikAnimal f4cf12b383 ve.ui.CodeMirror.v6: use DOMRect width when updating gutter width 
This fixes some Chromium-specific issues where offsetWidth was rounded
up and could cause misalignment issues. It does not fix all alignment
issues, but should hopefully be an improvement in most cases.

Other changes:
* Add Core VE padding to match CM5 variant (doesn't affect WMF cluster)
* Remove redundant margin rules from VE surface
* Minor code cleanup

Bug: T357482
Change-Id: Ic4246c0b8c39914021bbc2a84d52b332dafec20a
2024-11-05 23:41:06 -05:00
..
ve.ui.CodeMirror.init.js ve.ui.CodeMirror.init: make cm6enable=1 query param work for 2017 editor 2024-09-04 18:28:02 -04:00
ve.ui.CodeMirror.v6.less ve.ui.CodeMirror.v6: use DOMRect width when updating gutter width 2024-11-05 23:41:06 -05:00
ve.ui.CodeMirrorAction.v6.js ve.ui.CodeMirror.v6: use DOMRect width when updating gutter width 2024-11-05 23:41:06 -05:00
ve.ui.CodeMirrorTool.v6.js CodeMirror 6 for VE 2017 wikitext editor 2024-08-01 03:15:21 -04:00