property editor for Timestamp