From d2c91ed17ed056fc8cc5ec21a0bbb4b0fd4cc92f Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 3 Jun 2019 09:09:29 +0200
Subject: [PATCH] [gui] fixes documentation
---
src/plugins/gui/menu_manager.mli | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/gui/menu_manager.mli b/src/plugins/gui/menu_manager.mli
index 5c0ae0244b3..bac69d4bc08 100644
--- a/src/plugins/gui/menu_manager.mli
+++ b/src/plugins/gui/menu_manager.mli
@@ -54,8 +54,8 @@ type entry = private {
(** {2 Smart constructors for menu entries.}
- If not supplied, the [active] parameter is the function that always returns
- [true].
+ If not supplied, the [sensitive] parameter is the function that always
+ returns [true].
@since Nitrogen-20111001 *)
val toolbar:
--
GitLab