wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-13 17:27:42 +00:00
Code Issues Packages Projects Releases Wiki Activity
414 commits 277 branches 0 tags 46 MiB
Commit graph

8 commits

Author SHA1 Message Date
Ebrahim Byagowi 975fddb114 Set 'clear: both' on .CodeMirror for compatibility with gadgets 
.CodeMirror is supposed to magically replace it. Some gadgets'
interface displays incorrectly without it.

Change-Id: I27e2b5b462aa445a13f50dc99af57b4bb0ad3067
 2017-09-19 21:37:05 +04:30
jenkins-bot 796c3571bb Merge "Increase z-index of WikiEditor toolbar to above CodeMirror scrollbar" 2017-08-04 13:15:53 +00:00
Pavel Astakhov 8ff5f6afee Replace CodeMirror icons with new icons (#36C) 
Bug: T164441
Change-Id: I2e185dfa468ede51bd1a0e41b3b4dcf43a74313c
 2017-05-14 23:44:17 +06:00
Pavel Astakhov 0676a5263e Increase z-index of WikiEditor toolbar to above CodeMirror scrollbar 
Otherwise the popup menu at WikiEditor toolbar displayed under
   the CodeMirror layer.

Bug: T165012
Change-Id: Ie4e32cccad00f05e09f99af1c7c9d503f4bcaa0f
 2017-05-12 15:10:29 +06:00
Ed Sanders 7b01a98ad0 VisualEditor source mode support 
Long-term todo:
* Performance will be poor on large pages due
  to using a auto-height textarea which CodeMirror
  doesn't optimise.

Change-Id: I16598fcdbeee51e6fae88376ec81f1c8552b383d
 2017-05-08 16:54:10 +01:00
Kaldari 14eea32e44 CSS hack for ext.wikiEditor module no longer needed 
Change I7c7c3ba49 fixed the underlying bug.

Change-Id: Ida8a5dbd4e3602484f723d43bfa562389565e9d4
 2017-04-20 13:59:42 -07:00
Ed Sanders 02c22f53ff Styling fixes 
* Move CSS out of mediawiki.css which is for wikitext
  highlighting rules.
* Account for wikieditor-ui adding wrappers even when
  disabled.

Change-Id: I0fca693a6771ee1d790800c9afd5c7091fda20c1
 2017-03-27 14:02:25 +01:00
Ed Sanders 3980fa0af0 Cleanup and use SVG icons 
Change-Id: Idcad8e2554c5e44155c88bd925186095e3aad930
 2017-03-27 02:59:13 +00:00