From b879096f07255cfb573df6e40b1914d73b08788c Mon Sep 17 00:00:00 2001 From: "nethack.allison" Date: Sun, 27 Jan 2002 13:18:28 +0000 Subject: [PATCH] Allow the options specific to the win32 graphical port to be silently ignored by the tty port, so that the config file can be conveniently shared between the two. --- src/options.c | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/src/options.c b/src/options.c index 27f074788..1d0e7952c 100644 --- a/src/options.c +++ b/src/options.c @@ -1802,6 +1802,20 @@ goodfruit: return; } #endif /* MSWIN_GRAPHICS */ +#ifdef WIN32CON + /* ignore the graphical win32 graphical options silently, + * so defaults.nh can be easily used by both tty and win32 + */ + if (match_optname(opts, "win32_map_mode", + sizeof("win32_map_mode")-1, TRUE) || + match_optname(opts, "win32_align_status", + sizeof("win32_align_status")-1, TRUE) || + match_optname(opts, "win32_align_message", + sizeof("win32_align_message")-1, TRUE) || + match_optname(opts, "win32_map_cliparound_margin", + sizeof("win32_map_cliparound_margin")-1, TRUE)) + return; +#endif fullname = "windowtype"; if (match_optname(opts, fullname, 3, TRUE)) { -- 2.50.1