После выполнения этого кода ...
DoubleAnimation a = new DoubleAnimation(newWidth, new Duration(...));
ThicknessAnimation b = new ThicknessAnimation(new Thickness(...), new Duration(...));
border.BeginAnimation(Border.MarginProperty, b);
border.BeginAnimation(Border.WidthProperty, a);
... этот код больше не работает (поле не изменяется после присвоения нового значения):
// doesn't have any effect
border.Margin = new Thickness(...);
Что происходит ?? Спасибо!