[STUMP] [PATCH] Always retain largest overlapping head in MAKE-SCREEN-HEADS

[James Wright]

Hi folks,

I mirror my laptop screen to a larger monitor most of the time.  (I
wish I could extend my desktop onto or something instead, but sadly
the laptop's video card doesn't support that).  The current version of
stump only lets me use the laptop's resolution worth of screen
real-estate on the larger monitor, which kind of defeats the point of
plugging the monitor in.  The reason is that MAKE-SCREEN-HEADS
eliminates overlapping heads in a seemingly-random order, so if you're
unlucky it will delete the larger head.

I've attached a patch that fixes this by sorting the list of heads by
size before deleting the duplicates.  This ensures that it's always
smaller duplicates that get deleted.

      James

0001-MAKE-SCREEN-HEADS-now-sorts-heads-by-size-before-del.patch
Description: Text Data