Home
last modified time | relevance | path

Searched refs:defineExtension (Results 1 – 3 of 3) sorted by relevance

/plugin/codemirror/dist/
H A Dscripts.min.js6defineExtension=function(a,b){Jh.prototype[a]=b};Jh.defineDocExtension=function(a,b){vg.prototype[…
7defineExtension("showMatchesOnScrollbar",function(a,c,d){if(typeof d=="string")d={className:d};if(…
H A Dscripts.min.js.map1defineExtension","func","defineDocExtension","version","require","dialogDiv","template","dialog","…
/plugin/projects/
H A Dcodemirror-compressed.js1 …ble(t)&&e.push({mime:t,mode:s[t]});return e};var o=e.extensions={};e.defineExtension=function(e,t)… function