
答え1
コメントを寄せてくれたダニエルに感謝します。
最終的に、ユーザーにこれを追加しsettings.json
て下線を削除し、背景色に置き換えました (「Eva Dark」がターゲットにしたかったテーマです)。
"workbench.colorCustomizations": {
"[Eva Dark]": {
"editorError.foreground": "#00000000",
"editorError.background": "#ff757522",
}
}
アクセスするには: CTRL
+ SHIFT
+P
と入力し、Preferences: Open User Settings (JSON)