diff options
| author | Doug Kearns <dougkearns@gmail.com> | 2023-08-19 13:13:11 +0200 |
|---|---|---|
| committer | Christian Brabandt <cb@256bit.org> | 2023-08-19 13:13:11 +0200 |
| commit | 44a6b72d7f4561d4c002f0a8083587ac69222826 (patch) | |
| tree | cdf419938f7c06e34825b7b2405aa1abda6f1e89 | |
| parent | 9994160bfe74501886bbbf5631aec8ea2ae05991 (diff) | |
patch 9.0.1743: Parameter of gui_gtk:gui_mch_browse incorrectly marked as UNUSEDv9.0.1743
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>
| -rw-r--r-- | src/gui_gtk.c | 4 | ||||
| -rw-r--r-- | 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 @@ -696,6 +696,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1743, +/**/ 1742, /**/ 1741, |