Searched refs:defineExtension (Results  1 – 3 of 3) sorted by relevance
| /plugin/codemirror/dist/ | 
| D | scripts.min.js | 6 …defineExtension=function(a,b){Jh.prototype[a]=b};Jh.defineDocExtension=function(a,b){vg.prototype[…7 …defineExtension("showMatchesOnScrollbar",function(a,c,d){if(typeof d=="string")d={className:d};if(…
 
 | 
| D | scripts.min.js.map | 1 …defineExtension","func","defineDocExtension","version","require","dialogDiv","template","dialog","…
 | 
| /plugin/projects/ | 
| D | codemirror-compressed.js | 1 …ble(t)&&e.push({mime:t,mode:s[t]});return e};var o=e.extensions={};e.defineExtension=function(e,t)…  function
 |