The editor currently runs on Eclipse and I don’t know if it allows that kind specific level of customization (it might do).