If you saw Trup working the crowd after he knew he won on 11/8 and it was 3:00 AM on 11/9 and he was all smiles and happy even though he had been up 24 hours. He was jubilant.
I know what a happy Trump looks like. This Trump-Obama thing did not make Trump very happy. Obama probably went out of his way to dis Trump.