This repository was archived by the owner on Jun 24, 2022. It is now read-only.
[RFC] Add option to allow user to personalize the editor #10
Description
Hello,
We should talk about what options we want the use can personalize !