3 ms·

Thanks. The '/' binding is copying Google, which they use in their various apps like Gmail.

• vollmond 17y ago
  Ah. That does make some sense, then (I haven't used Google's shortcuts much).