Add keyboard labels symbols #164
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -1266,9 +1266,6 @@ errorbar | |
| .circle.stroked ⧲ | ||
| .circle.filled ⧳ | ||
|
|
||
| gender { | ||
| female ♀\vs{text} | ||
| .double ⚢ | ||
|
|
@@ -1323,3 +1320,68 @@ control { | |
| del ␡ // DELete | ||
| nl  // New Line | ||
| } | ||
|
|
||
| // Characters commonly used as keyboards labels | ||
| keyboard { | ||
| linefeed ↴ | ||
| end ⇲ | ||
| .alt ⭸ | ||
|
Comment on lines
+1327
to
+1328
Collaborator
There was a problem hiding this comment. Why is the default for this one not the same as for |
||
| tab ↹ | ||
| .alt ⭾ | ||
| .alt.v ⭿ | ||
| .l ⇤ | ||
| .l.alt ⭰ | ||
| .r ⇥ | ||
| .r.alt ⭲ | ||
| .t ⤒ | ||
| .t.alt ⭱ | ||
| .b ⤓ | ||
| .b.alt ⭳ | ||
|
Comment on lines
+1329
to
+1339
Collaborator
There was a problem hiding this comment. Do you have evidence for any variant other than
Collaborator
There was a problem hiding this comment. My Apple keyboard has U+21E5 on it. |
||
| pageup ⇞ | ||
| pagedown ⇟ | ||
| shift ⇧ | ||
| capslock ⇪ | ||
| .pedestal ⇫ | ||
| .pedestal.struck ⇬ | ||
| .struck ⮸ | ||
|
Comment on lines
+1343
to
+1346
Collaborator
There was a problem hiding this comment. Same comment as https://github.com/typst/codex/pull/164/changes#r3215401498. |
||
| numlock ⇭ | ||
|
Collaborator
There was a problem hiding this comment. Do you have evidence of this symbol being used on actual contemporary keyboards? I personally don't associate any symbol with the Num Lock key. |
||
| scroll ⇳ | ||
|
Collaborator
There was a problem hiding this comment. Is this a real keyboard key? |
||
| space ␣ | ||
|
Collaborator
There was a problem hiding this comment. Is this even present on actual keyboards? I feel like most keyboards simply do not have any symbol on the space bar. |
||
| del ␥ | ||
|
Collaborator
There was a problem hiding this comment. Do you have evidence of contemporary real world keyboards that use this symbols? |
||
| erase | ||
| .r ⌦ | ||
|
Collaborator
There was a problem hiding this comment. Is this present on any real world keyboard?
Collaborator
There was a problem hiding this comment. Mine uses a filled version of U+2326 with a white cross for delete, next to "delete" written out on the key. |
||
| .l ⌫ | ||
| cmd ⌘ | ||
| enter ⌤ | ||
| .alt ⎆ | ||
|
Comment on lines
+1355
to
+1356
Collaborator
There was a problem hiding this comment. I don't think most people associate the Enter key with any of those symbols. |
||
| option ⌥ | ||
| clear ⌧ | ||
|
Collaborator
There was a problem hiding this comment. Is this a real key on contemporary keyboards?
Collaborator
There was a problem hiding this comment. My Apple keyboard has it (U+2327, tho the X slightly pokes out). But I have no clue what it was meant to represent, since I'm using this keyboard on Linux, where it maps to num lock. |
||
| keyboard ⌨\vs{text} | ||
| .mouse 🖦 | ||
| .wired 🖮 | ||
|
Comment on lines
+1359
to
+1361
Collaborator
There was a problem hiding this comment. I don't think this fits in a submodule dedicated to keyboard key symbols. |
||
| insert ⎀ | ||
| underline | ||
| .continuous ⎁ | ||
| .discontinuous ⎂ | ||
| emph ⎃ | ||
| center ⎅ | ||
|
Comment on lines
+1362
to
+1367
Collaborator
There was a problem hiding this comment. Do you have evidence of contemporary keyboards that have dedicated keys for those functions? |
||
| alt ⎇ | ||
|
Collaborator
There was a problem hiding this comment. Do you have evidence of contemporary keyboards that use this symbol? |
||
| control ⎈ | ||
|
Collaborator
There was a problem hiding this comment. Do you have evidence of contemporary keyboards that use this symbol? |
||
| break ⎊ | ||
|
|
||
| esc ⎋ | ||
| .alt ⮹ | ||
| undo ⎌ | ||
|
Collaborator
There was a problem hiding this comment. |
||
| decimalsep ⎖ | ||
|
|
||
| prevpage ⎗ | ||
| nextpage ⎘ | ||
|
Comment on lines
+1375
to
+1376
Collaborator
There was a problem hiding this comment. This feels redundant with |
||
| printscreen ⎙ | ||
| clearscreen ⎚ | ||
|
Comment on lines
+1377
to
+1378
Collaborator
There was a problem hiding this comment. Are those symbols used on any real world contemporary keyboard? |
||
| return ⏎ | ||
| .alt ↵ | ||
| .l ⮐ | ||
| .r ⮑ | ||
|
Comment on lines
+1381
to
+1382
Collaborator
There was a problem hiding this comment. I think those can be excluded for now. |
||
| newline | ||
| .alt ↵ | ||
| .l ⮒ | ||
| .r ⮓ | ||
|
Comment on lines
+1383
to
+1386
Collaborator
There was a problem hiding this comment. Is there any contemporary keyboard that has a separate key for newline that is not just the Enter key?
Contributor
Author
There was a problem hiding this comment. I sometimes find keyboards with a key for 'Enter' and a key for 'Return' (e.g. this one) often when the keyboard has a numeric pad. I propose to keep either ('enter' and 'return') or ('newline' and 'return') or keep only one name, in which case I would favor 'enter', tell me what you think. |
||
| } | ||
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Is this symbol present on actual keyboards?