chiark / gitweb /
gui: fix button padding
authorIan Jackson <ian@liberator.relativity.greenend.org.uk>
Fri, 31 Dec 2010 15:46:51 +0000 (15:46 +0000)
committerIan Jackson <ian@liberator.relativity.greenend.org.uk>
Fri, 31 Dec 2010 15:46:51 +0000 (15:46 +0000)
commita2251aa68eaa1d1dede96c962145fe9560727fcf
treebdf7a3015b48215eeba985874cd83f1758ebdff2
parentc8b6d90e8ee346fd0a6899451a76363a465676a5
gui: fix button padding
hostside/gui