Timeline for Is “We don't put + between key commands.” some official Stack Exchange policy?
Current License: CC BY-SA 4.0
14 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 14, 2022 at 18:30 | vote | accept | Giacomo1968 | ||
| Oct 14, 2022 at 12:00 | history | tweeted | twitter.com/super_user/status/1580891184062349312 | ||
| Oct 14, 2022 at 6:22 | answer | added | gronostaj | timeline score: 6 | |
| Oct 13, 2022 at 12:14 | history | became hot meta post | |||
| Oct 3, 2022 at 23:11 | vote | accept | Giacomo1968 | ||
| Oct 14, 2022 at 18:30 | |||||
| Oct 3, 2022 at 4:30 | answer | added | galacticninja | timeline score: 20 | |
| Oct 2, 2022 at 10:31 | comment | added | DavidPostill Mod |
@KamilMaciorowski I like the idea of nesting to indicate simultaneous key presses. That makes the + redundant.
|
|
| Oct 2, 2022 at 8:33 | comment | added | Kamil Maciorowski |
Personal view: usually I use +, but nesting is possible and sometimes very useful (example).
|
|
| Oct 1, 2022 at 3:27 | comment | added | DavidPostill Mod |
Yeah, on Windows the <Shift>, <Tab> and big <Enter> keys have symbols on them as well, but I don't include them when I'm referring to keystrokes. I agree with using + though as it shows that the keys must be pressed at the same time. This is important.
|
|
| Oct 1, 2022 at 3:16 | comment | added | DavidPostill Mod |
I'm also not sure why Ctrl^ was used, why is ^ in there?
|
|
| Oct 1, 2022 at 3:10 | history | edited | Giacomo1968 | CC BY-SA 4.0 |
added 367 characters in body
|
| Oct 1, 2022 at 3:07 | comment | added | DavidPostill Mod |
meta.superuser.com/editing-help shows a + for what it's worth
|
|
| Oct 1, 2022 at 3:06 | history | edited | Giacomo1968 | CC BY-SA 4.0 |
edited body
|
| Oct 1, 2022 at 3:01 | history | asked | Giacomo1968 | CC BY-SA 4.0 |