On Fri, Nov 8, 2019 at 11:16 AM Andrew Barnert via Python-ideas python-ideas@python.org wrote:
On Nov 7, 2019, at 19:59, Chris Angelico rosuav@gmail.com wrote:
And I do the same with the operators that you disparagingly call "ASCII soup". I touch type them. What's the difference, other than that I can transfer my knowledge of typing English?
Well, there’s also the fact that you can touch type them into Mail.app and pine and a StackOverflow answer box and a blog comment and a general purpose text editor and get the exact same result you get in PyCharm or PyDev. That’s a pretty huge difference, which the OP is ignoring.
Well - yes. However, if I were to have need of regularly typing certain tokens, I would set them up with my Compose key, which works with (nearly) every X11 app. But not everyone has a convenient way to type arbitrary characters across all apps.
ChrisA