Clippy doesn't seem to play nice with unicode characters.
If I run:
await clippy.write('►');
And then paste, I get:
‚ñ∫
I expect to get:
►
I've only tried running this on a mac. pbcopy copies the character correctly, for example, in the terminal:
echo ►|pbcopy
And then paste:
►
Clippy doesn't seem to play nice with unicode characters.
If I run:
await clippy.write('►');
And then paste, I get:
‚ñ∫
I expect to get:
►
I've only tried running this on a mac. pbcopy copies the character correctly, for example, in the terminal:
echo ►|pbcopy
And then paste:
►