Water issue: Editor font size not changing


Seemingly, some other issue poped up: When I want to Change the fontsize from any other to: “HUGE” it does changing it to: “LARGE”

every other fontsize Option works so far :slight_smile:

Best regards


Could that be Repro somehow?

it’s 7am. be a bit more patient please.

Hi Marc, sry I forgot the Time-Zone :sweat_smile:

Reproducded and fixed, thanx!

Marc, unfortunately as it look, this bug is still spooking around :confused:

Version: .2309

Yeah, the commit didn’t push thru in time for 2309, but it is fixed.

1 Like