proton 2016-04-14

maybe we should really investigate how difficult it would be to port proton

Just out of my head it seems like we only need to change the API that connects with the editor. And of course a different plugin ecosystem so layers would need to get rebuild from scratch

it seems performance differences between atom vs code is quite huge