Ah i didn’t know it was already available in the settings i just unchecked it ! Thanks
Man i just saw your screenshot and i just hope it won’t be too expensive for me because i want to try it 
lol
It seems to mix really well with the other plugin as a visual and ergonomic overall upgrade of the editor well done!
Just one last thing : just because my previous suggestion was really too easy for you what about ability to change the fonts ? Maybe as you did with themes : predefined / configured sets of fonts