| 1 |
editAreaLoader.load_syntax["robotstxt"] = { |
| 2 |
'DISPLAY_NAME' : 'Robots txt', |
| 3 |
'COMMENT_SINGLE' : {1 : '#'}, |
| 4 |
'COMMENT_MULTI' : {}, |
| 5 |
'QUOTEMARKS' : [], |
| 6 |
'KEYWORD_CASE_SENSITIVE' : false, |
| 7 |
'KEYWORDS' : { |
| 8 |
'attributes' : ['User-agent', 'Disallow', 'Allow', 'Crawl-delay'], |
| 9 |
'values' : ['*'], |
| 10 |
'specials' : ['*'] |
| 11 |
}, |
| 12 |
'OPERATORS' :[':'], |
| 13 |
'DELIMITERS' :[], |
| 14 |
'STYLES' : { |
| 15 |
'COMMENTS': 'color: #AAAAAA;', |
| 16 |
'QUOTESMARKS': 'color: #6381F8;', |
| 17 |
'KEYWORDS' : { |
| 18 |
'attributes' : 'color: #48BDDF;', |
| 19 |
'values' : 'color: #2B60FF;', |
| 20 |
'specials' : 'color: #FF0000;' |
| 21 |
}, |
| 22 |
'OPERATORS' : 'color: #FF00FF;', |
| 23 |
'DELIMITERS' : 'color: #60CA00;' |
| 24 |
} |
| 25 |
}; |
| 26 |
|
