PatR
6636db94e7
corridor engravings in black and white
...
The default engraving-in-corridor character is the same as the default
corridor symbol (and also default lit corridor one), distinguished by
color. Show it differently (in inverse vidoe, like lava vs water and
sink vs fountain) if color is Off.
It might be better to change the engraving-in-room symbol to be the
same as the room one so that they'll be more consistent with corridors;
color is probably sufficient without resorting to back-tick. But this
update hasn't done that.
2023-09-12 01:34:47 -07:00
..
2022-02-04 11:01:20 -05:00
2022-03-13 13:58:56 -07:00
2022-11-29 21:53:21 -05:00
2022-07-19 21:23:26 +03:00
2022-07-19 21:23:26 +03:00
2022-11-29 21:53:21 -05:00
2023-07-13 13:58:26 -07:00
2023-04-22 16:10:37 -07:00
2023-05-22 20:50:35 -04:00
2023-09-06 12:39:17 -04:00
2023-03-04 11:02:06 +02:00
2022-06-30 23:48:18 -04:00
2023-05-22 13:41:47 -04:00
2023-08-24 18:38:39 +03:00
2023-09-10 20:48:41 +03:00
2023-03-01 14:00:29 +02:00
2023-09-12 01:34:47 -07:00
2021-01-26 21:06:16 -05:00
2023-08-24 18:38:39 +03:00
2023-05-04 06:02:23 -07:00
2023-09-08 15:55:31 -07:00
2023-09-08 15:55:31 -07:00
2021-10-16 12:12:21 -04:00
2023-05-22 14:43:01 -07:00
2023-05-22 19:47:28 -04:00
2023-09-06 12:39:17 -04:00
2022-07-01 08:36:03 -04:00
2022-03-11 07:33:28 -05:00
2022-06-19 02:30:45 -07:00
2020-08-03 22:07:36 -04:00
2022-11-29 21:53:21 -05:00
2020-08-03 22:07:36 -04:00
2020-08-03 22:07:36 -04:00
2022-11-29 21:53:21 -05:00
2023-03-19 12:19:34 -04:00
2023-04-20 18:56:26 +03:00
2023-02-25 07:02:19 -08:00
2023-09-07 05:59:50 -07:00
2023-08-12 15:04:10 -07:00
2023-06-14 15:54:04 -07:00
2023-06-14 15:54:04 -07:00
2023-04-29 02:18:29 -07:00
2023-06-09 00:56:53 -07:00
2023-08-24 18:38:39 +03:00
2023-04-05 11:49:09 -04:00
2023-04-22 11:13:53 -04:00
2022-10-26 14:21:23 -04:00
2022-10-26 14:21:23 -04:00
2022-10-26 14:21:23 -04:00
2022-10-26 14:21:23 -04:00
2023-07-06 13:18:19 -07:00
2023-08-28 16:17:41 -04:00
2022-07-23 23:11:13 -07:00
2023-08-28 16:17:41 -04:00
2023-02-25 18:05:09 +02:00
2022-11-29 21:53:21 -05:00
2022-12-10 12:27:18 -05:00
2023-09-06 12:27:13 -04:00
2020-08-03 22:07:36 -04:00
2020-08-12 16:15:28 -07:00
2021-10-16 12:12:21 -04:00
2022-10-26 14:21:23 -04:00
2023-06-12 14:03:39 -04:00
2023-09-08 15:55:31 -07:00
2023-04-05 11:49:09 -04:00
2022-11-29 21:53:21 -05:00
2023-08-25 14:02:57 -04:00
2021-10-22 12:27:10 -04:00
2022-06-30 23:48:18 -04:00
2023-06-12 13:53:34 -04:00
2023-04-05 11:49:09 -04:00
2023-05-10 12:47:42 -07:00
2023-05-31 00:10:22 -04:00
2023-04-05 11:49:09 -04:00
2023-01-01 19:55:02 -05:00
2022-10-26 14:21:23 -04:00
2022-10-26 14:21:23 -04:00
2023-07-30 14:08:30 -07:00
2023-05-08 15:21:03 -07:00