first scroll down to shrink font make fonts larger
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| Terminator |
Triaged
|
Low
|
Unassigned | ||
| terminator (Ubuntu) |
Confirmed
|
Undecided
|
Unassigned | ||
Bug Description
Steps to reproduce:
1. Launch a new terminator
2. Press and hold Ctrl
3. Carefully scroll down (to itself) mouse wheel on one 'tick'
Expected behavior:
Font shrinks
Actual behavior:
Font enlarges
(Further scroll down cause font to shrink as expected)
ProblemType: Bug
DistroRelease: Ubuntu 17.10
Package: terminator 1.91-1
ProcVersionSign
Uname: Linux 4.13.0-12-generic x86_64
ApportVersion: 2.20.7-0ubuntu2
Architecture: amd64
CurrentDesktop: X-Cinnamon
Date: Wed Oct 11 16:14:17 2017
EcryptfsInUse: Yes
InstallationDate: Installed on 2013-07-19 (1544 days ago)
InstallationMedia: Xubuntu 13.04 "Raring Ringtail" - Release i386 (20130423.1)
PackageArchitec
SourcePackage: terminator
UpgradeStatus: Upgraded to artful on 2017-06-22 (111 days ago)
| George Shuklin (george-shuklin) wrote | #1 |
| summary: |
- first scroll down to shink font make fonts larger + first scroll down to shrink font make fonts larger |
| Changed in terminator (Ubuntu): | |
| status: | New → Confirmed |
| Changed in terminator: | |
| status: | New → Triaged |
| importance: | Undecided → Low |
