property animator source code