I found this to be useful, regarding a display bug Problem in maximizing console/source window in Ubuntu 20.04