From 82cdef76c12a6dd77323ff795284563b4593e87b Mon Sep 17 00:00:00 2001 From: bel Date: Fri, 21 Feb 2014 23:47:35 +0100 Subject: [PATCH] Replace is_numeric_option --- src/main.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main.c b/src/main.c index bc7c1ab1..abae8107 100644 --- a/src/main.c +++ b/src/main.c @@ -835,7 +835,7 @@ static void show_settings_dialog() x = 10 + (WIDTH / 2) * (nelems % 2); y = (nelems/2 + 1) * HEIGHT + 5; width = WIDTH / 2 - 20 - LABEL_WIDTH; - if (is_numeric_options(options[i].name)) { + if (options[i].type == CONFIG_TYPE_NUMBER) { style |= ES_NUMBER; cl = 0x81; style |= WS_BORDER | ES_AUTOHSCROLL;