[Bug 1819466] Re: Increase Terminal font size
** Changed in: xubuntu-default-settings (Ubuntu) Importance: Undecided => Wishlist -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1819466 Title: Increase Terminal font size To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/xubuntu-default-settings/+bug/1819466/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 1819466] Re: Increase Terminal font size
@Simon, as the one that dropped it to 9... thoughts? Meanwhile, should we continue using "DejaVu Sans Mono" as our terminal font? ** Changed in: xubuntu-default-settings (Ubuntu) Status: New => Confirmed -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1819466 Title: Increase Terminal font size To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/xubuntu-default-settings/+bug/1819466/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 1819466] Re: Increase Terminal font size
** Description changed: 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 small font size looks out of place when - compared to the overall desktop experience (apps, menus, labels). + Furthermore, the current font size looks out of place when compared to + the overall desktop experience (apps, menus, labels). -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1819466 Title: Increase Terminal font size To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/xubuntu-default-settings/+bug/1819466/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs