cortav  Diff

Differences From Artifact [a3601c692e]:

• File desk/cortav.xml — part of check-in [a8358d587d] at 2022-09-10 13:31:23 on branch trunk — better footnotes, update syntax def, delete broken old span (user: lexi, size: 12530) [annotate] [blame] [check-ins using]

To Artifact [2b77e7703b]:

• File desk/cortav.xml — part of check-in [dd5c3bfcb9] at 2022-09-14 12:22:00 on branch trunk — various improvements (user: lexi, size: 12839) [annotate] [blame] [check-ins using]

    49     49   		<contexts>
    50     50   			<context name='init' attribute='Normal Text' lineEndContext='#pop' fallthroughContext='text'>
    51     51   				<RegExpr String='\\.' attribute='Escaped Char'/>
    52     52   				<RegExpr attribute='Section Cue' context='sec-ident' String='(#|§)+' firstNonSpace='true' />
    53     53   				<StringDetect String='~~~' attribute='Literal Block Cue' firstNonSpace='true' context='literal-block-cue'/>
    54     54   				<RegExpr attribute='List' String='[\*:]+' firstNonSpace='true' context='text' />
    55     55   				<Detect2Chars char='%' char1='%' attribute='Comment' context='comment'/>
    56         -				<Detect2Chars char='%' char1='!' attribute='Critical Directive Cue' context='directive'/>
           56  +				<Detect2Chars char='%' char1='!' attribute='Important Directive Cue' context='directive'/>
           57  +				<StringDetect String='%!!' attribute='Critical Directive Cue' firstNonSpace='true' context='directive'/>
    57     58   				<DetectChar char='%' attribute='Directive Cue' context='directive'/>
    58     59   				<DetectChar char='@' attribute='Resource Cue' context='resource-ident'/>
    59     60   				<DetectChar char='$' attribute='Deref Cue' context='block-macro-ident'/>
    60     61   				<DetectChar char='&amp;' attribute='Deref Cue' context='block-deref-ident'/>
    61     62   				<Detect2Chars char='&#9;' char1='&#9;' context='refdef'/>
    62     63   				<DetectChar char='&#9;' context='refdef-id'/>
    63     64   
................................................................................
   178    179   				<DetectChar   attribute='Span Cue' char='>' context='#pop!ref' />
   179    180   				<DetectChar   attribute='Span Cue' char='^' context='#pop!ref' />
   180    181   				<DetectChar   attribute='Span Cue' char='&amp;' context='#pop!ref' />
   181    182   				<DetectChar   attribute='Span Cue' char='#' context='#pop!var-ref' />
   182    183   				<DetectChar   attribute='Span Cue' char='\' context='#pop!flat-span' />
   183    184   				<DetectChar   attribute='Span Cue' char='=' context='#pop!inline-math' />
   184    185   				<Detect2Chars attribute='Comment' char='%' char1='%' context='#pop!inline-comment' />
   185         -				<Detect2Chars attribute='Critical Directive Cue' char='%' char1='!' context='#pop!inline-directive' />
          186  +				<StringDetect String='%!!' attribute='Critical Directive Cue' firstNonSpace='true' context='#pop!inline-directive'/>
          187  +				<Detect2Chars attribute='Important Directive Cue' char='%' char1='!' context='#pop!inline-directive' />
   186    188   				<DetectChar   attribute='Directive Cue' char='%' context='#pop!inline-directive' />
   187    189   			</context>
   188    190   
   189    191   			<context name='flat-span' attribute='Unstyled Text' lineEndContext='#pop'>
   190    192   				<DetectChar attribute='Unstyled Text' context='flat-span' char='['/>
   191    193   				<Detect2Chars attribute='Escaped Char' context='#stay' char='\' char1=']'/>
   192    194   				<DetectChar attribute='Span Delimiter' context='#pop' char=']'/>
................................................................................
   235    237   		</contexts>
   236    238   		<itemDatas>
   237    239   			<itemData name='Normal Text' defStyleNum='dsNormal'/>
   238    240   			<itemData name='Styled Text' defStyleNum='dsNormal'/>
   239    241   			<itemData name='Emphatic Text' defStyleNum='dsNormal' italic='true'/>
   240    242   			<itemData name='Strong Text' defStyleNum='dsNormal' bold='true'/>
   241    243   			<itemData name='Deleted Text' defStyleNum='dsNormal' strikeOut='true'/>
   242         -				
          244  +
   243    245   			<itemData name='Section Cue' defStyleNum='dsKeyword' bold='true'/>
   244    246   			<itemData name='Deref Cue' defStyleNum='dsKeyword' bold='true'/>
   245    247   			<itemData name='Header' defStyleNum='dsControlFlow' underline='true'/>
   246    248   			<itemData name='Identifier' defStyleNum='dsVariable'/>
   247    249   
   248    250   			<itemData name='Unstyled Text' defStyleNum='dsVerbatimString'/>
   249    251   			<itemData name='Escaped Char' defStyleNum='dsSpecialChar'/>
................................................................................
   251    253   			<itemData name='Span Cue' defStyleNum='dsKeyword' bold='true'/>
   252    254   			<itemData name='Resource Cue' defStyleNum='dsKeyword' bold='true'/>
   253    255   			<itemData name='Resource Identifier' defStyleNum='dsVariable' bold='true'/>
   254    256   			<itemData name='Span Delimiter' defStyleNum='dsKeyword'/>
   255    257   			<itemData name='Directive' defStyleNum='dsAttribute' bold='true'/>
   256    258   			<itemData name='Directive Cue' defStyleNum='dsAttribute'/>
   257    259   			<itemData name='Critical Directive Cue' defStyleNum='dsImport' bold='true'/>
          260  +			<itemData name='Important Directive Cue' defStyleNum='dsImport' bold='true'/>
   258    261   			<itemData name='Extension Directive' defStyleNum='dsImport' bold='true'/>
   259    262   			<itemData name='Renderer Directive' defStyleNum='dsExtension' bold='true'/>
   260    263   			<itemData name='Standard Namespace' defStyleNum='dsBuiltIn' bold='true'/>
   261    264   			<itemData name='Comment' defStyleNum='dsComment'/>
   262    265   			<itemData name='Error' defStyleNum='dsError'/>
   263    266   			<itemData name='Macro' defStyleNum='dsPreprocessor' bold='true'/>
   264    267   			<itemData name='Macro Delimiter' defStyleNum='dsPreprocessor'/>