1 editAreaLoader.load_syntax["robotstxt"] = {
\r
2 'COMMENT_SINGLE' : {1 : '#'},
\r
3 'COMMENT_MULTI' : {},
\r
5 'KEYWORD_CASE_SENSITIVE' : false,
\r
7 'attributes' : ['User-agent', 'Disallow', 'Allow', 'Crawl-delay'],
\r
14 'COMMENTS': 'color: #AAAAAA;',
\r
15 'QUOTESMARKS': 'color: #6381F8;',
\r
17 'attributes' : 'color: #48BDDF;',
\r
18 'values' : 'color: #2B60FF;',
\r
19 'specials' : 'color: #FF0000;'
\r
21 'OPERATORS' : 'color: #FF00FF;',
\r
22 'DELIMITERS' : 'color: #60CA00;'
\r