Hi, I have GNOME 3.32.2 now. When I launched a GNOME Terminal, I noticed that the font is too big and the spacing between characters seems odd:
https://multimedialib.files.wordpress.com/2020/01/terminal-font-problem-2020-01-08.png Maybe there is a bug with the defaults (at least with the spacing)? As a workaround, you can 1. Start a GNOME Terminal 2. Go to Terminal → Preferences 3. Select the active Profile 4. Activate the "Custom font" option 5. Select a font and size of your preference --- https://sirgazil.bitbucket.io/
