Repleditor

waht is repl

The REPL Editor refers to the REPL that is displayed within the editor rather than in the terminal. The settings for this are of the form

{
  "accessibility.replEditor.*": ...,
}

I only know of one language that makes use of the REPL Editor, namely Python when using Microsoft’s Python Extension though more may exist. I had to set

{
  "python.REPL.sendToNativeREPL": true
}

in settings.json to get this to work.