[Bug 1819466] Re: Increase Terminal font size

2020-05-25 Thread Sean Davis
** 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

2020-05-25 Thread Sean Davis
@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

2019-03-12 Thread Theo Linkspfeifer
** 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