Refining CodeEditKit integration

Aperta

#1,292 aperta il 2/6/2023 0 commenti 0 reazioni 1 assegnatario Rivendicata da @Wouter01 Vedi su GitHub

enhancement extensions

Descrizione

There's a working implementation of CodeEditKit integration in CodeEdit, however things are rough.

This issue is a tracker for things that need to be done to tidy up and improve things

Questa issue non è ancora stata valutata.