pretext-cli icon indicating copy to clipboard operation
pretext-cli copied to clipboard

Improve codespaces setup for developers

Open bjones1 opened this issue 2 years ago • 0 comments

This involves:

  • ~~Configure and install the VSCode mypy plugin.~~
  • Configure and install the CodeChat Editor in its current form.
  • Create a VSCode plugin for the CodeChat Editor.

bjones1 avatar Jun 22 '23 17:06 bjones1