Rhino 8 WIP C# Script Editor Font Size

Most of the new editors allow for font size adjustments - but the c# does not… and is really hard to read
will this be still implemented in v8? It seems crucial
(The old v7 editor allowed for font and size selection)