netbeans 10 and font menu

[Marc Collin]

hi

i use netbeans 10 with jdk 11 and linux with a 4k screen.

is there a way to have a menu font size bigger?

thanks