PatR
494b374e12
whatis / quick-whatis for '^'
...
When using '//' or ';' to examine the map and player uses '^' to
move the cursor to the next displayed trap, have cursor go to
locations containing webs, the vibrating square, or other non-'^'
trap when such is the next trap symbol up. Otherwise looking at
webs is very tedious because '"' is treated as a look-at command
rather than than a target symbol.
2021-05-30 01:31:54 -07:00
..
2018-11-11 10:29:52 -05:00
2020-02-15 13:08:34 -08:00
2020-08-03 22:07:36 -04:00
2018-04-25 16:54:50 -04:00
2020-01-14 12:01:30 -05:00
2018-09-21 16:36:38 -04:00
2018-09-21 18:12:42 -07:00
2018-09-21 18:12:42 -07:00
2018-09-21 14:57:12 -04:00
2018-04-25 16:54:50 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 18:12:42 -07:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2018-09-21 18:12:42 -07:00
2018-09-21 14:57:12 -04:00
2018-09-21 14:57:12 -04:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2018-09-21 18:12:42 -07:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2003-05-11 13:40:01 +00:00
2018-04-25 16:54:50 -04:00
2018-04-25 16:54:50 -04:00
2018-04-25 16:54:50 -04:00
2018-04-25 16:54:50 -04:00
2018-04-25 16:54:50 -04:00
2020-11-28 08:59:03 -05:00
2019-05-09 17:15:14 -07:00
2019-12-03 23:32:12 -05:00
2020-11-28 08:59:03 -05:00
2020-01-27 18:11:43 -05:00
2020-03-07 10:47:51 -08:00
2021-05-30 01:31:54 -07:00
2016-06-19 19:52:28 -04:00
2020-02-14 18:15:25 -08:00
2020-02-15 14:42:00 -08:00
2021-03-26 16:19:24 -07:00
2021-03-26 16:19:24 -07:00
2021-03-26 18:33:03 -07:00
2021-05-21 21:24:59 +03:00
2021-01-03 13:37:25 -06:00
2021-01-04 12:52:42 -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
2020-01-19 23:09:53 -05:00
2020-01-20 08:52:59 -05:00
2021-01-30 12:28:23 -05:00
2018-04-25 16:54:50 -04:00
2020-01-14 12:02:57 -05:00
2018-09-20 18:02:48 -04:00
2020-08-03 22:07:36 -04:00
2021-03-13 18:18:53 -08:00