Code review comment for lp:~tapaal-contributor/tapaal/show-query-on-mouse-over-1947037

This looks very nice, however, the line breaks can happen in the middle of a place name for example. It would be nice, after exceeding 80 characters, to place the line break <br> once a first empty space if ound. Also instead of width 80, we could go little bit wider, say to 100.