PatR 02207b967a
autounlock:untrap ...
Implement 'untrap' as an 'autounlock' action. Quite a bit more work
than anticipated. The new documentation is rather clumsy; too many
if-this and if-not-that clauses have intruded.
I'll be astonished if all the return values are correct....
[A couple of places were checking for (rx != 0 && ry != 0) to decide
whether they were performating an autounlock action at <rx,ry> but
that erroneously excludes the top line of the map if the current
level extends that far. Just check rx for zero/non-zero.]
2022-05-06 14:44:57 -07:00
2022-01-29 16:28:06 -05:00
2020-02-15 13:08:34 -08:00
2022-02-04 11:26:14 -05:00
2022-02-10 16:45:03 -05:00
2022-02-10 16:45:03 -05:00
2022-01-29 22:57:22 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 22:57:22 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 22:57:22 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-01-29 16:28:06 -05:00
2022-05-06 14:44:57 -07:00
2022-01-29 16:28:06 -05:00
2020-02-14 18:15:25 -08:00
2020-02-15 14:42:00 -08:00
2022-05-06 14:44:57 -07:00
2022-05-06 14:44:57 -07:00
2022-04-16 11:08:34 -04:00
2022-04-01 08:53:15 +03:00
2022-02-22 20:14:44 -05:00
2022-02-22 20:14:44 -05:00
2018-11-11 10:29:52 -05:00
2020-01-14 12:02:10 -05:00
2018-11-11 10:29:52 -05:00
2020-01-14 12:02:26 -05:00
2022-02-22 20:14:44 -05:00
2022-02-22 20:14:44 -05:00
2022-01-29 16:28:06 -05:00
2022-02-22 20:14:44 -05:00
2022-02-22 20:14:44 -05:00
2018-09-20 18:02:48 -04:00
2020-08-03 22:07:36 -04:00
2022-01-29 16:28:06 -05:00
02207b967a