Desktop,Mobile: Fixes #9524: Fix Beta Editor diff highlighting (#9525)

pull/9550/head
Henry Heino 2023-12-17 12:56:46 -08:00 committed by GitHub
parent 5f6b2f1a63
commit 404e86cef4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 0 deletions

View File

@ -258,6 +258,14 @@ const createTheme = (theme: any): Extension[] => {
tag: tags.typeName,
color: isDarkTheme ? '#7ff' : '#a00',
},
{
tag: tags.inserted,
color: isDarkTheme ? '#7f7' : '#471',
},
{
tag: tags.deleted,
color: isDarkTheme ? '#f96' : '#a21',
},
]);
return [