Menufontsize, Arduino on Linux

How to increase the Menufontsize of the arduino ide application ?

regs wally