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