Changeset 115

Show
Ignore:
Timestamp:
04/07/08 14:23:55 (4 years ago)
Author:
phil
Message:

fixed triplequote ending on a new line bug

Location:
tools/trunk/N3.tmbundle/Syntaxes
Files:
2 modified

Legend:

Unmodified
Added
Removed
  • tools/trunk/N3.tmbundle/Syntaxes/n3.tmLanguage

    r104 r115  
    2020        <array> 
    2121                <dict> 
    22                         <key>match</key> 
    23                         <string>\b(a|this)\b</string> 
    24                         <key>name</key> 
    25                         <string>keyword</string> 
    26                 </dict> 
    27                 <dict> 
    2822                        <key>captures</key> 
    2923                        <dict> 
     
    4539                        </dict> 
    4640                        <key>match</key> 
    47                         <string>^(\@prefix )(.*?:)\s+(&lt;[^ \&gt;]*&gt;)\s*.</string> 
     41                        <string>^(\@(?:prefix|base|keywords))(\s+.*?)?\s+(&lt;[^ \&gt;]*&gt;)\s*.</string> 
    4842                        <key>name</key> 
    4943                        <string>meta.preprocessor.prefix.n3</string> 
     
    228222                        <string>"""</string> 
    229223                        <key>end</key> 
    230                         <string>[^\\]"""(\^\^([a-zA-z\-\:_]+|&lt;.*?&gt;)|@[a-z]+)?\s*</string> 
     224                        <string>(?:[^\\]|^)"""(\^\^([a-zA-z\-\:_]+|&lt;.*?&gt;)|@[a-z]+)?\s*</string> 
    231225                        <key>endCaptures</key> 
    232226                        <dict> 
  • tools/trunk/N3.tmbundle/Syntaxes/SPARQL.tmLanguage

    r19 r115  
    5858                <dict> 
    5959                        <key>match</key> 
    60                         <string>\b(?i:WHERE|OPTIONAL|GRAPH|FILTER|ORDER BY|UNION)\b</string> 
     60                        <string>\b(?i:WHERE|CONSTRUCT|ASK|OPTIONAL|GRAPH|FILTER|ORDER BY|UNION)\b</string> 
    6161                        <key>name</key> 
    6262                        <string>keyword.other</string>