Merge pull request #827 from andrasio/external-color

Color escaped externals.
This commit is contained in:
Jonathan Turner 2019-10-15 08:28:34 +13:00 committed by GitHub
commit d38b8cf851
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -726,8 +726,8 @@ impl FallibleColorSyntax for CommandHeadShape {
match atom.item {
// If the head is an explicit external command (^cmd), color it as an external command
AtomicToken::ExternalCommand { command } => {
shapes.push(FlatShape::ExternalCommand.spanned(command));
AtomicToken::ExternalCommand { .. } => {
shapes.push(FlatShape::ExternalCommand.spanned(atom.span));
Ok(CommandHeadKind::External)
}