it looks like the default is Menlo – can i modify this somehow?
thanks,
M.
Unfortunately this isn’t possible at the moment. Perhaps in the future alongside support for themes, but I have to be honest and this is not of the highest priorities for us right now.