diff options
Diffstat (limited to 'context/data/scite/context/scite-context-data-context.properties')
-rw-r--r-- | context/data/scite/context/scite-context-data-context.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/context/data/scite/context/scite-context-data-context.properties b/context/data/scite/context/scite-context-data-context.properties index 9fb3c5214..e2a984364 100644 --- a/context/data/scite/context/scite-context-data-context.properties +++ b/context/data/scite/context/scite-context-data-context.properties @@ -116,7 +116,7 @@ privatescratchdimen scratchskip globalscratchskip privatescratchskip scratchmusk globalscratchmuskip privatescratchmuskip scratchtoks globalscratchtoks privatescratchtoks \ scratchbox globalscratchbox privatescratchbox globalscratchcounterone globalscratchcountertwo \ globalscratchcounterthree groupedcommand groupedcommandcs triggergroupedcommand triggergroupedcommandcs \ -simplegroupedcommand pickupgroupedcommand normalbaselineskip normallineskip normallineskiplimit \ +simplegroupedcommand pickupgroupedcommand usedbaselineskip usedlineskip usedlineskiplimit \ availablehsize localhsize setlocalhsize distributedhsize hsizefraction \ next nexttoken nextbox dowithnextbox dowithnextboxcs \ dowithnextboxcontent dowithnextboxcontentcs flushnextbox boxisempty givenwidth \ |