Merge lp:~popey/ubuntu-terminal-app/fix-1514519 into lp:~ubuntu-terminal-dev/ubuntu-terminal-app/reboot
- fix-1514519
- Merge into reboot
Status: | Merged |
---|---|
Approved by: | Nicholas Skaggs |
Approved revision: | 140 |
Merged at revision: | 142 |
Proposed branch: | lp:~popey/ubuntu-terminal-app/fix-1514519 |
Merge into: | lp:~ubuntu-terminal-dev/ubuntu-terminal-app/reboot |
Diff against target: |
14 lines (+2/-2) 1 file modified
src/app/qml/TerminalSettings.qml (+2/-2) |
To merge this branch: | bzr merge lp:~popey/ubuntu-terminal-app/fix-1514519 |
Related bugs: |
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Jenkins Bot | continuous-integration | Approve | |
Michael Hall | Approve | ||
Review via email: mp+277240@code.launchpad.net |
Commit message
Allow for smaller font point sizes and set a lower default (5pt) to fix/workaround LP:#1514519
Description of the change
Alan Pope πΊπ§π± π¦ (popey) wrote : | # |
Alan Pope πΊπ§π± π¦ (popey) wrote : | # |
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Alan Pope πΊπ§π± π¦ (popey) wrote : | # |
Set to Needs Review because Jenkins is having an incredibly BAD DAY.
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) wrote : | # |
ERROR: failed to start a jenkins job
Jenkins Bot (ubuntu-core-apps-jenkins-bot) : | # |
Preview Diff
1 | === modified file 'src/app/qml/TerminalSettings.qml' |
2 | --- src/app/qml/TerminalSettings.qml 2015-08-09 14:03:25 +0000 |
3 | +++ src/app/qml/TerminalSettings.qml 2015-11-12 12:33:49 +0000 |
4 | @@ -10,8 +10,8 @@ |
5 | property alias colorScheme: innerSettings.colorScheme |
6 | property alias showKeyboardBar: innerSettings.showKeyboardBar |
7 | |
8 | - readonly property int defaultFontSize: 14 |
9 | - readonly property int minFontSize: 8 |
10 | + readonly property int defaultFontSize: units.gu(0.4) |
11 | + readonly property int minFontSize: 2 |
12 | readonly property int maxFontSize: 32 |
13 | |
14 | property alias jsonVisibleProfiles: innerSettings.jsonVisibleProfiles |
The following click contains this patch for easy testing people. canonical. com/~alan/ terminal/ com.ubuntu. terminal_ 0.7.138_ multi.click
http://