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

templateFoldingExtension: hide tooltip when typing

Browse source 
Temporary solution to T367256 before a folding gutter is applied. Hide the folding tooltip when typing, and make the tooltip semi-transparent until hovered.

Bug: T367256
Change-Id: I3ee3de737aa36692d094a54e0eea94d6f5690767
This commit is contained in:
bhsd 2024-11-02 15:14:07 +08:00
parent 7efeb2ff11
commit 081f0a17af
2 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
resources/codemirror.less
View file

@ -55,6 +55,10 @@
cursor: @cursor-base--hover; cursor: @cursor-base--hover;
line-height: 1.2; line-height: 1.2;
padding: 0 1px; padding: 0 1px;
opacity: 0.6;
}
.cm-tooltip-fold:hover {
opacity: 1;
} }
.cm-editor .cm-foldPlaceholder { .cm-editor .cm-foldPlaceholder {

5
resources/codemirror.mediawiki.templateFolding.js
View file

@ -320,7 +320,10 @@ const templateFoldingExtension = [
StateField.define( { StateField.define( {
create, create,
update( tooltip, { state, docChanged, selection } ) { update( tooltip, { state, docChanged, selection } ) {
return docChanged || selection ? create( state ) : tooltip; if ( docChanged ) {
return null;
}
return selection ? create( state ) : tooltip;
}, },
provide( f ) { provide( f ) {
return showTooltip.from( f ); return showTooltip.from( f );