Home
last modified time | relevance | path

Searched refs:case_insensitive (Results 1 – 18 of 18) sorted by relevance

/plugin/highlightjs/highlight/languages/
H A Dhtml-xml.js28 case_insensitive: true, property in hljs.LANGUAGES.xml
88 case_insensitive: true, property in hljs.LANGUAGES.html
H A Ddos.js7 case_insensitive: true, property in hljs.LANGUAGES.dos
H A Dvbscript.js17 case_insensitive: true, property in hljs.LANGUAGES.vbscript
H A Dapache.js12 case_insensitive: true, property in hljs.LANGUAGES.apache
H A Dini.js7 case_insensitive: true, property in hljs.LANGUAGES.ini
H A Davrasm.js8 case_insensitive: true, property in hljs.LANGUAGES.avrasm
H A Dparser3.js12 case_insensitive: false, property in hljs.LANGUAGES.parser3
H A Dsql.js7 case_insensitive: true, property in hljs.LANGUAGES.sql
H A Dphp.js12 case_insensitive: true, property in hljs.LANGUAGES.php
H A Ddiff.js8 case_insensitive: true, property in hljs.LANGUAGES.diff
H A Ddjango.js10 case_insensitive: true, property in hljs.LANGUAGES.django
H A Dbash.js17 case_insensitive: false,
H A Dlisp.js11 case_insensitive: true,
H A Dcss.js13 case_insensitive: true, property in hljs.LANGUAGES.css
H A Ddelphi.js15 case_insensitive: true,
H A D1c.js18 case_insensitive: true,
/plugin/highlightjs/highlight/
H A Dhighlight.js115 var match_str = language.case_insensitive ? match[0].toLowerCase() : match[0]
423 var mode = 'm' + (language.case_insensitive ? 'i' : '') + (global ? 'g' : '');
/plugin/revealjs/plugin/highlight/
H A Dhighlight.js2 …E=/\blang(?:uage)?-([\w-]+)\b/i,t=/((^(<[^>]+>|\t|)+|(?:\n)))/gm,r={case_insensitive:"cI",lexemes:… property in AnonymousFunction892c8c100200.r