This repository has been archived by the owner on Jun 24, 2022. It is now read-only.

[RFC] Add option to allow user to personalize the editor #10

Open

Nek- opened this issue Oct 19, 2013 · 0 comments

Labels

discussion enhancement

Milestone

Member

Nek- commented Oct 19, 2013

Hello,

We should talk about what options we want the use can personalize !

Nek- added the discussion label

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.