@dcc Really? I’m not sure if it’s really suitable for programming which is the main purpose of using an editor for me. But I’ll take a look.