diff options
| author | Philip J. Freeman <elektron@halo.nu> | 2018-04-11 12:54:53 -0700 |
|---|---|---|
| committer | Vito Caputo <vcaputo@pengaru.com> | 2018-04-11 16:52:12 -0700 |
| commit | 4183fbdc44fd34473e0d99e2ac3034340f06763e (patch) | |
| tree | 117f467aafd39718cb8e9dc375f0aacf665363d4 /patches/xorg-server-1.12.4-6+deb7u2-net-wm-pid-set-for-local-clients.patch.txt | |
| parent | d3f66266f01283d8a9e78ac0ffa9620d34d24850 (diff) | |
logo: fix an edge case where logo is drawn forever
height = 2560 /3 = 853
while ( height -= 2) { // never hits 0
...
}
Diffstat (limited to 'patches/xorg-server-1.12.4-6+deb7u2-net-wm-pid-set-for-local-clients.patch.txt')
0 files changed, 0 insertions, 0 deletions