size windows editor pgadmin 4

[Fontana Daniel C (Desartec S.R.L.)]

Hello group, you can set a bigger size for the window for editing tables,
functions, etc. of pgadmin 4.
Every time I edit information I am widening the window, honestly the size is
very small.