[1/3] 今天手把手教我的印度学生(女)用 Emacs(HOL4 的官方编辑器)。先用 Ctrl+@ 标记复制的起始位置,然后 Alt+w 复制,最后 Ctrl+y 粘贴。她问我为什么不都用 Ctrl?我通过演示单手操作的具体指法和键盘键位之间的垂直位置关系说明了这样设计的精妙之处。反正我自己是信了[拜拜]
[1/3] 今天手把手教我的印度学生(女)用 Emacs(HOL4 的官方编辑器)。先用 Ctrl+@ 标记复制的起始位置,然后 Alt+w 复制,最后 Ctrl+y 粘贴。她问我为什么不都用 Ctrl?我通过演示单手操作的具体指法和键盘键位之间的垂直位置关系说明了这样设计的精妙之处。反正我自己是信了[拜拜]
No replies yet.