cm_Switch83Names does not effect tab labels?

[white]

cm_Switch83Names does not effect tab labels and current directory in header is not updated upon switch

Maybe this is a small bug?

[jb]

Indeed the problem is worse: See topic "cm_CopyFullNamesToClip and cm_SwitchLongNames not in harmony".

[white]

At least cm_SwitchLongNames does effect the tab labels unlike cm_Switch83Names which has no effect on the tab labels.