You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hello, and thank you for this wonderful extension. I have noticed an issue with character encoding in the messages returned when using the grading feature for exercises. Even though my document is correctly written with UTF-8 encoding, here is how the returned messages appear:
Hello, and thank you for this wonderful extension. I have noticed an issue with character encoding in the messages returned when using the grading feature for exercises. Even though my document is correctly written with UTF-8 encoding, here is how the returned messages appear:
Corresponding source code:
The only workaround I have found is to write the messages directly using Unicode characters, but this is not very convenient.
Corresponding source code:
The text was updated successfully, but these errors were encountered: