Files
nethack/dat
PatR 9ad584523f dat/symbols: RogueEpyx
I don't know whether this fixes #H4335 but it does eliminate a
bunch of duplicate symbol entries.  And the two whose duplicates
had different values are suspicious ones: using linefeed and tab as
the character for object class symbol, which could easily confuse
the tty interface's cursor position tracking.  But those should
have been overridden by the later entries which specified the
default object class characters--I couldn't find anything in symbol
processing which would cause it to keep the first value instead of
replacing that with the second one.

The report had a link to screen shot which showed a door (I think
an open one despite the '+' shape) in the corner inside a room,
something like
 --+-----------
 |            |
 |       =
 |          ..##
 |          .+#
 ----+---------
where the '+#' in the lower right looks like it belongs two rows up
and one column over, the upper left of the three '#' is white and
the other two gray (lit corridor or empty dooryway or what?), the
'=' is actually three horizontal bars in green, and the lower '.'
has the cursor on it.  There aren't any object class symbols shown
(unless the triple-barred = is one), so linefeed and tab don't look
like likely culprits.
2016-06-11 00:16:11 -07:00
..
2015-03-31 09:50:02 -04:00
2015-11-18 03:04:35 -08:00
2015-05-25 09:21:31 +09:00
2015-05-25 09:21:31 +09:00
2015-11-23 14:10:10 +02:00
2015-05-25 09:21:31 +09:00
2016-06-08 14:58:35 -07:00
2016-05-20 17:24:18 -07:00
2016-05-05 15:21:22 -07:00
2015-12-18 13:28:23 +02:00
2016-04-04 13:59:23 -07:00
2015-05-25 09:21:31 +09:00
2016-06-08 05:35:53 -07:00
2015-12-16 17:52:34 -05:00
2015-05-25 09:21:31 +09:00
2016-05-29 17:24:47 -07:00
2002-01-05 21:05:46 +00:00
2015-05-25 09:21:31 +09:00
2015-05-25 09:21:31 +09:00
2015-03-17 18:45:58 +02:00
2015-05-25 09:21:31 +09:00
2016-02-18 07:50:35 -05:00
2015-05-25 09:21:31 +09:00
2015-05-25 09:21:31 +09:00
2015-12-13 13:34:47 -05:00
2016-02-27 08:08:56 -05:00
2016-06-11 00:16:11 -07:00
2015-05-25 09:21:31 +09:00
2016-06-08 05:35:53 -07:00
2015-05-25 09:21:31 +09:00