Files
nethack/dat
PatR ca22b3fe46 cmdhelp revamp
Implement a rudimentary if/elif/else/endif interpretor and use
conditionals in dat/cmdhelp to describe what command each keystroke
currently invokes, so that there isn't a lot of "(debug mode only)"
and "(if number_pad is off)" cluttering the feedback that the user
sees.  (The conditionals add quite a bit of clutter to the raw data
but users don't see that.  number_pad produces a lot of conditional
commands:  basic letters vs digits, 'g' vs 'G' for '5', phone
keypad vs normal layout of digits, and QWERTZ keyboard swap between
y/Y/^Y/M-y/M-Y/M-^Y and z/Z/^Z/M-z/M-Z/M-^Z.)

The interpretor understands
 '&#' for comment,
 '&? option' for 'if' (also '&? !option'
                       or '&? option=value[,value2,...]'
                       or '&? !option=value[,value2,...]'),
 '&: option' for 'elif' (with argument variations same as 'if';
                         any number of instances for each 'if'),
 '&:' for 'else' (also '&: #comment';
                  0 or 1 instance for a given 'if'), and
 '&.' for 'endif' (also '&. #comment'; required for each 'if').

The option handling is a bit of a mess, with no generality for
which options to deal with and only a comma separated list of
integer values for the '=value' part.  number_pad is the only
supported option that has a value; the few others (wizard/debug,
rest_on_space, #if SHELL, #if SUSPEND) are booleans.
2016-06-08 14:58:35 -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-04-06 17:32:58 -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