chore: use emoji-variant for ❌️

leanprover / vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant

Apache License 2.0

169 stars 48 forks source link

Closed joneugster closed 2 months ago

joneugster commented 2 months ago

Based on leanprover/lean4#5015, use emoji-variant selector for ❌️ across the Lean universe.

joneugster commented 2 months ago

Note that this only replaces \u{274C} with \u{274C}\u{FE0F} (❌️)