From 965929445927353a2318161637925be4f692a911 Mon Sep 17 00:00:00 2001 From: Alf Eaton Date: Thu, 7 Nov 2024 09:17:37 +0000 Subject: [PATCH] Add hint_unicode_character rule (#21593) GitOrigin-RevId: ba2c6f49c3b20c6fb4708dfd80000a216c3c4a77 --- .../js/ide/human-readable-logs/HumanReadableLogsRules.tsx | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/services/web/frontend/js/ide/human-readable-logs/HumanReadableLogsRules.tsx b/services/web/frontend/js/ide/human-readable-logs/HumanReadableLogsRules.tsx index 5e51ab8308..1dd0cd5ec7 100644 --- a/services/web/frontend/js/ide/human-readable-logs/HumanReadableLogsRules.tsx +++ b/services/web/frontend/js/ide/human-readable-logs/HumanReadableLogsRules.tsx @@ -285,6 +285,11 @@ const errors: Rule[] = [ regexToMatch: /^LaTeX error: Cannot be used in preamble/, package: 'LaTeX', }, + { + ruleId: 'hint_unicode_character', + regexToMatch: /^LaTeX Error: Unicode character /, + package: 'LaTeX', + }, { ruleId: 'hint_cannot_define_unicode_char_value_lt_00a0', regexToMatch: