chiark / gitweb /
layout/plan-to-gui-data: when $t{Edge}, adjust boundaries of background, to make...
authorIan Jackson <ian@liberator.relativity.greenend.org.uk>
Sun, 12 Dec 2010 12:54:56 +0000 (12:54 +0000)
committerIan Jackson <ian@liberator.relativity.greenend.org.uk>
Sun, 12 Dec 2010 12:54:56 +0000 (12:54 +0000)
commitb210616e6d851018fadec82ef32287688df5b9ec
tree1e470fc738c06cc9dd6875565bfab01ac73701ff
parent53b480dce280b2a29f67bc17705d14ef33aca91f
layout/plan-to-gui-data: when $t{Edge}, adjust boundaries of background, to make sure we cover everything (avoids GraphicsExpose event in gui-plan due to background pixmap not covering whole screen
layout/plan-to-gui-data