16,874
个编辑
“MediaWiki:Gadget-site-lib.codemirror.js”的版本间差异
小
无编辑摘要
小 |
小 |
||
|
);
}
$('<span>', { text: stream.current()
return !ele.startsWith( 'line-' );
}).map(function(ele) { return 'cm-' + ele; }).join( ' ' ) }).appendTo( $line );
stream.start = stream.pos;
}
| |||