Remove depreciated Off styles from MenuStyle.

fvwmorg · Nov 10, 2022 · 71f5d23 · 71f5d23
1 parent a5428c5
commit 71f5d23
Show file tree

Hide file tree

Showing 2 changed files with 70 additions and 89 deletions.
diff --git a/doc/fvwm3_manpage_source.adoc b/doc/fvwm3_manpage_source.adoc
@@ -2531,14 +2531,6 @@ with a '/' in between. These options exclude each other. All paired
 options can be negated to have the effect of the counterpart option by
 prefixing ! to the option.
 +
-Some options are now negated by prefixing ! to the option. This is the
-preferred form for all such options. The other negative forms are now
-deprecated and will be removed in the future.
-+
-This is a list of MenuStyle deprecated negative options:
-ActiveForeOff, AnimationOff, AutomaticHotkeysOff, HilightBackOff,
-TitleWarpOff
-+
 _Fvwm_, _Mwm_, _Win_ reset all options to the style with the same name
 in former versions of fvwm. The default for new menu styles is _Fvwm_
 style. These options override all others except _Foreground_,