fix ButtonDelegate.__repr__
bug 357667#21 + better html