~verzegnassi-stefano/+junk/ubuntu-terminal-app-uitk13

Viewing all changes in revision 142.

  • Committer: Tarmac
  • Author(s): Alan Pope
  • Date: 2015-12-10 21:57:16 UTC
  • mfrom: (138.1.2 fix-1514519)
  • Revision ID: tarmac-20151210215716-0q8rz98a17bmup5k
Allow for smaller font point sizes and set a lower default (5pt) to fix/workaround LP:#1514519. Fixes: https://bugs.launchpad.net/bugs/1514519.

Approved by Jenkins Bot, Michael Hall.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: