re: #294 Charles Johnson

Charles, while you’re in a debugging mode: I noticed that in the Spy in the green boxes with ding-info the unicode chars are still broken up. E.g. bsharp’s smiley in the next thread looks like “(͡๏̯͡๏ ;)” instead of “(͡๏̯͡๏)”. Also, is it also possible to add hover to these boxes?