Searched defs:case_insensitive (Results 1 – 13 of 13) sorted by relevance
| /plugin/highlightjs/highlight/languages/ |
| D | ini.js | 7 case_insensitive: true, property
|
| D | parser3.js | 12 case_insensitive: false, property
|
| D | diff.js | 8 case_insensitive: true, property
|
| D | dos.js | 7 case_insensitive: true, property
|
| D | html-xml.js | 28 case_insensitive: true, property
88 case_insensitive: true, property
|
| D | php.js | 12 case_insensitive: true, property
|
| D | django.js | 10 case_insensitive: true, property
|
| D | vbscript.js | 17 case_insensitive: true, property
|
| D | css.js | 13 case_insensitive: true, property
|
| D | sql.js | 7 case_insensitive: true, property
|
| D | avrasm.js | 8 case_insensitive: true, property
|
| D | apache.js | 12 case_insensitive: true, property
|
| /plugin/revealjs/plugin/highlight/ |
| D | highlight.js | 2 …E=/\blang(?:uage)?-([\w-]+)\b/i,t=/((^(<[^>]+>|\t|)+|(?:\n)))/gm,r={case_insensitive:"cI",lexemes:… property
|