LLWiki正在建设中,欢迎加入我们

“MediaWiki:Gadget-site-lib.codemirror.js”的版本间差异

跳转到导航 跳转到搜索
无编辑摘要
* @Source: [https://codemirror.net/addon/runmode/runmode.js]
* @EditedBy: [[User:Bhsd]]
* @Param {HTMLElementjQuery} $pre, 有Wikitext代码的HTML元素,通常为<pre>或<code>jQuery对象
* @Param {Boolean} force, 是否不执行默认的懒加载
*/
const render = function(objtarget) {
observer.unobserve( obj.target );
const mode = CodeMirror.getMode({mwConfig: mw.config.get( 'extCodeMirrorConfig' )}, 'mediawiki'),
$target = $(obj.target),
lines = CodeMirror.splitLines( $target.text().trim() ),
state = mode.startState(),
}).css('padding-left', (content.length + start - 1).toString().length + 2.5 + 'ch').appendTo( $target );
} else { $target.append( content ); }
},
callback = function(entries) { entries.filter(function(obj) { return obj.isIntersecting; }).forEach( render ); },
observer = new IntersectionObserver(callback, {threshold: 0.01}); // jshint ignore: line
CodeMirror.runmode = function(pre, force) {
CodeMirror.download( 'wiki' ).then(function() {
if (force) { render( {target: pre} ); }
else { observer.observe( pre ); }
});
};
CodeMirror.runmode = function($pre) { CodeMirror.download( 'wiki' ).then(function() { $pre.each( render ); }); };
//</nowiki>
// [[category:作为模块的小工具]] [[category:桌面版小工具]] [[category:手机版小工具]] [[category:系统工具]]
16,874

个编辑

导航菜单