Unicode emojis

[ArneBachmann]

Be aware, that high unicode codepoints are not available in many fonts. Try to stick to 16bit codepoints to achieve better compatibility.

Here are the values I use in one if my Python projects:

# first list is ASCII, second is 16bit unicode, third list has some more exotic symbols
PROGRESS_MARKER:List[str] =  ["|/-\\", "\u2581\u2582\u2583\u2584\u2585\u2586\u2587\u2588\u2587\u2586\u2585\u2584\u2583\u2582", "\U0001f55b\U0001f550\U0001f551\U0001f552\U0001f553\U0001f554\U0001f555\U0001f556\U0001f557\U0001f558\U0001f559\U0001f55a\U0001f559\U0001f558\U0001f557\U0001f556\U0001f555\U0001f554\U0001f553\U0001f552\U0001f551\U0001f550"] 
DOT_SYMBOL:str = "\u00b7"
MULT_SYMBOL:str = "\u00d7"
CROSS_SYMBOL:str = "\u2716"
CHECKMARK_SYMBOL:str = "\u2714"
PLUSMINUS_SYMBOL:str = "\u00b1"  # alternative for "~"
ARROW_SYMBOL:str = "\u2799"  # alternative for "*"
MOVE_SYMBOL:str = "\u21cc"  # alternative for "#". or use \U0001F5C0", which is very unlikely to be in any console font

In addition, not all shells/consoles are set to unicode.
E.g. Windows 7 you need to call chcp 65001 to enable unicode, or do some registry hacks to enable it by default. On Linux, I guess utf-8 has been standard for at least 10 years in most if not all distributions. Not sure about Windows 10 or Powershell defaults.

[erikbern]

sure, maybe #58 was a bit unnecessary.