Increase Terminal font size

[Theo Linkspfeifer]

I suggest to revert the following commit for better readability:

https://git.launchpad.net/xubuntu-default-settings/commit/etc/xdg/xdg-xubuntu/xfce4/terminal/terminalrc?id=7ef9ec768a3d4750c0d0b059ec116a39b790d7aa

Furthermore, the current font size looks out of place when compared to the overall desktop experience (apps, menus, labels).

[Sean Davis (bluesabre)]

@Simon, as the one that dropped it to 9... thoughts? Meanwhile, should we continue using "DejaVu Sans Mono" as our terminal font?

[Launchpad Janitor (janitor)]

This bug was fixed in the package xubuntu-default-settings - 23.04.0

---------------
xubuntu-default-settings (23.04.0) lunar; urgency=medium

  * debian/rules,
    etc/xdg/xdg-xubuntu/xfce4/whiskermenu/defaults.rc.in:
    - Enable translations for Whisker Menu (LP: #1926180)
  * usr/share/xubuntu/applications/defaults.list:
    - Fix default association for debian packages (LP: #1993063)
  * etc/xdg/xdg-xubuntu/xfce4/panel/default.xml:
    - Update panel and plugin properties (LP: #1993186)
    - Use automatic icon size for systray
  * etc/xdg/xdg-xubuntu/xfce4/terminal/terminalrc:
    - Increase terminal font size to 10 (LP: #1819466)
  * debian/control:
    - Bump Standards-Version to 4.6.1.0

 -- Sean Davis <email address hidden> Fri, 25 Nov 2022 06:13:46 -0500