3 ms·> Maybe the editor should be customisable via Dark itself? That's the plan!by pbiggar 7y ago> Maybe the editor should be customisable via Dark itself? That's the plan!