ctrl+ or ctrl - doesn't work

[gremonesi]

ctrl+ or ctrl - doesn't work, increase or decrease editor font

 

[Marco Kalter]

It seems to work fine. Note that the default keys for these functions are Ctrl+ and Ctrl- on the numeric keypad.