Handle cancelled selection keys... "properly"?
authorFredrik Tolf <fredrik@dolda2000.com>
Wed, 16 Feb 2022 18:37:35 +0000 (19:37 +0100)
committerFredrik Tolf <fredrik@dolda2000.com>
Wed, 16 Feb 2022 18:37:35 +0000 (19:37 +0100)
commite6788877d5d1fd3f9eead731a660f83906af9d27
tree8c88ca95b222e1bd2cda78007c1a80707de56cbd
parent12032480fba70f0521b0ec7ef7bc8db10fc87636
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.
src/jagi/event/Driver.java