wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-23 14:56:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update toolbar group hiding logic

Browse source 
Accommodate upstream change in WikiEditor (Iff6d806).

Bug: T357222
Change-Id: I10e06d129677e7ac40199a31e4bad7914dda993c
This commit is contained in:
Nardog 2024-02-11 00:42:48 +00:00
parent 6b5da58aec
commit d798a5ad6c
1 changed files with 8 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
modules/jquery.codeEditor.less
View file

@ -2,10 +2,14 @@
/* stylelint-disable selector-class-pattern */
.group-codeeditor-format,
.group-codeeditor-style,
.codeEditor-ui-toolbar .group-insert,
.codeEditor-ui-toolbar .group-format,
.wikiEditor-ui-toolbar .group-codeeditor-style {
border-right: 0;
}
.wikiEditor-ui-toolbar:not( .codeEditor-ui-toolbar ) .group-codeeditor-format,
.wikiEditor-ui-toolbar:not( .codeEditor-ui-toolbar ) .group-codeeditor-style,
.codeEditor-ui-toolbar .group-insert.group,
.codeEditor-ui-toolbar .group-format.group,
.codeEditor-ui-toolbar .tabs span.tab-advanced,
.codeEditor-ui-toolbar .tabs span.tab-characters,
.codeEditor-ui-toolbar .tabs span.tab-help,
@ -13,21 +17,12 @@
display: none;
}
.codeEditor-ui-toolbar .group-codeeditor-format,
.codeEditor-ui-toolbar .group-codeeditor-style {
display: block;
}
.wikiEditor-ui .ace_editor {
/* Same as mw-editfont-monospace, repeated for higher specificity */
font-size: 13px;
font-family: monospace, monospace;
}
.wikiEditor-ui-toolbar .group-codeeditor-style {
border-right: 0;
}
.ace_editor textarea,
.ace_editor input {
/* Inherit directionality from editor, not sitedir (T186329) */