editAreaLoader.load_syntax["robotstxt"] = {
'DISPLAY_NAME' : 'Robots txt',
'COMMENT_SINGLE' : {1 : '#'},
'COMMENT_MULTI' : {},
'QUOTEMARKS' : [],
'KEYWORD_CASE_SENSITIVE' : false,
'KEYWORDS' : {
'attributes' : ['User-agent', 'Disallow', 'Allow', 'Crawl-delay'],
'values' : ['*'],
'specials' : ['*']
},
'OPERATORS' :[':'],
'DELIMITERS' :[],
'STYLES' : {
'COMMENTS': 'color: #AAAAAA;',
'QUOTESMARKS': 'color: #6381F8;',
'KEYWORDS' : {
'attributes' : 'color: #48BDDF;',
'values' : 'color: #2B60FF;',
'specials' : 'color: #FF0000;'
},
'OPERATORS' : 'color: #FF00FF;',
'DELIMITERS' : 'color: #60CA00;'
}
};