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 <cb@256bit.org>
Co-authored-by: Doug Kearns <dougkearns@gmail.com>

diff --git a/src/gui_gtk.c b/src/gui_gtk.c
index 6dbaf246b67da02cf5bf109761c237404e904412..69a9cae9fcf2304d37688fffb6f1ad9d513d74dc 100644 (file)
--- 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 a30793d76c9853cfbeae352986e6891d60081d35..1ee8dd33a34383a9d476d096007c24d4587bb61c 100644 (file)
--- 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,
 /**/