Closed frankenstein91 closed 2 years ago
Okay 🎉 The raw QWERTY keyboard have no triple dots. Maybe one should copy-paste it or use Chinese/German IME? Anyway after addition just replacing the three dots with triple dots with an editor would still be acceptable 😄
The sign with 3 dots looks better than 3 single dots. It also saves some space in the GUI. In Chenese and German these are already used, one should adopt it uniformly in English.