From 44a6b72d7f4561d4c002f0a8083587ac69222826 Mon Sep 17 00:00:00 2001 From: Doug Kearns Date: Sat, 19 Aug 2023 13:13:11 +0200 Subject: [PATCH] patch 9.0.1743: Parameter of gui_gtk:gui_mch_browse incorrectly marked as UNUSED Problem: Parameter of gui_gtk:gui_mch_browse incorrectly marked as UNUSED. Solution: Remove UNUSED flag. closes: #12841 Signed-off-by: Christian Brabandt Co-authored-by: Doug Kearns --- src/gui_gtk.c | 4 ++-- src/version.c | 2 ++ 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/gui_gtk.c b/src/gui_gtk.c index 6dbaf246b6..69a9cae9fc 100644 --- a/src/gui_gtk.c +++ b/src/gui_gtk.c @@ -1239,10 +1239,10 @@ browse_destroy_cb(GtkWidget *widget UNUSED) * dflt default name * ext not used (extension added) * initdir initial directory, NULL for current dir - * filter not used (file name filter) + * filter file name filter */ char_u * -gui_mch_browse(int saving UNUSED, +gui_mch_browse(int saving, char_u *title, char_u *dflt, char_u *ext UNUSED, diff --git a/src/version.c b/src/version.c index a30793d76c..1ee8dd33a3 100644 --- a/src/version.c +++ b/src/version.c @@ -695,6 +695,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 1743, /**/ 1742, /**/