From b210616e6d851018fadec82ef32287688df5b9ec Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sun, 12 Dec 2010 12:54:56 +0000 Subject: [PATCH] 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 | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/layout/plan-to-gui-data b/layout/plan-to-gui-data index 2a39c92..7f32f85 100755 --- a/layout/plan-to-gui-data +++ b/layout/plan-to-gui-data @@ -198,14 +198,16 @@ sub in_pixel ($) { } #printf(STDERR "%s 0x%08lx 0x%x 0x%x %d\n",$pp,$datum, # $t{Segnum},$t{Movfeatpos},$t{Edge}); - if (!$t{Segnum}) { - xpmdata_pixel('background','','=') - unless $t{Edge}; - return; + + if ($t{Edge}) { + xpmdata_pixel('background','',undef); + } elsif ($t{Segnum}) { + xpmdata_pixel('background','','!'); } else { - xpmdata_pixel('background','','!') - unless $t{Edge}; + xpmdata_pixel('background','','='); } + return unless $t{Segnum}; + $segname= $segnum_name[$t{Segnum}]; defined $segname or die "$pp $t{Segnum} $datum"; $pp.= " $segname"; -- 2.30.2