diff --git a/src/plugins/gui/menu_manager.mli b/src/plugins/gui/menu_manager.mli index 5c0ae0244b3315c05721bf88e6decf4b03012b87..bac69d4bc08f09138084f0e99b712b1b5ef27f8e 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: