Hi @AlexMonod, are you looking to change the font size or the panel size? From your annotated picture I would think the font size. That can be changed by following the advise in this blog post.
Judging by the picture you have a high resolution display. Maybe setting the font scaling in Windows will also help albeit in a way that affects the entire Windows GUI.
Thanks for your reply, and sorry, the notification got spammed...
The link you sent helps changing the font inside the code, but not the font of the panels...
I am afraid it can't be changed then ! Unless Superman comes to save me
Have a nice day Jan !
April 27 – 30 | Gaylord Texan | Grapevine, Texas
Registration is open
Walk in ready to learn. Walk out ready to deliver. This is the data and AI conference you can't afford to miss. Register now and save with the early bird rate—just $795!