Написал MarkupExtension, который конвертит права текущего принципала в Visibility, и с его помощью скрываю пункты меню, которые не дозволено видеть текущему пользователю.
Однако есть проблема — свойство Visibility меню, видимо, вычисляется только один раз, при старте, потому что после смены пользователя меню не становится видимым.
Как заставить его перерисоваться?