Custom fonts for code editor

workspace

#1

You should be able to add custom fonts for your code editor because not everybody wants to use the same font