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.