From: Fredrik Tolf <fredrik@dolda2000.com>
Date: Wed, 16 Feb 2022 18:37:35 +0000 (+0100)
Subject: Handle cancelled selection keys... "properly"?
X-Git-Url: http://dolda2000.com/gitweb/?a=commitdiff_plain;h=e6788877d5d1fd3f9eead731a660f83906af9d27;hp=e6788877d5d1fd3f9eead731a660f83906af9d27;p=jagi.git

Handle cancelled selection keys... "properly"?

This seems very needlessly complex for something which shouldn't even
have to be an issue, but I can't obviously see how else to handle it,
but also not really what the whole point of selectors "cancelled-sets"
is.
---