[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
proposal to remove AVOID_MENU_REDUNDANCY
From: |
Patrice Dumas |
Subject: |
proposal to remove AVOID_MENU_REDUNDANCY |
Date: |
Sun, 31 Mar 2024 22:13:03 +0200 |
Hello,
I propose to remove the HTML customization variable
AVOID_MENU_REDUNDANCY:
If set, and the menu entry and menu description are the
same, then do not print the menu description; default false.
It seems to me to be for a case that should never happen, is not really
important, and my wild guess is that nobody uses it.
Comments?
--
Pat
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- proposal to remove AVOID_MENU_REDUNDANCY,
Patrice Dumas <=