chiark / gitweb /
Offsets: In button zone code, cope with negative "pos" values