Reply to 1366002641944383499
@wolframkriesing It sounds like you need a way to quickly find the right emojis. There are plugins for e.g. vscode that simplify inserting them in.Reply to 1366002641944383499
@wolframkriesing It sounds like you need a way to quickly find the right emojis. There are plugins for e.g. vscode that simplify inserting them in.