-
-
Notifications
You must be signed in to change notification settings - Fork 20
Add keyboard labels symbols #164
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: main
Are you sure you want to change the base?
Changes from all commits
203be55
cbd98e8
1dafd7b
57758e8
f28fa3a
e329d2c
c77bb2b
0346b5e
87d75a9
013383b
4c50d3d
51205ed
660f3bb
07f273f
3510eba
f8df219
c75eab0
050cb9e
9968a54
0777363
646da5e
80b1cb1
c4031b1
a9a97af
6ba4e04
e5a3dc4
9235d7a
79a83e6
610dc9d
6e7026a
6bf7dac
8968db1
81e077f
2905fcc
a10ef56
7e5a054
1a7fef2
e0dea11
ccc78bc
fc512da
2bed8ca
aab11b2
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -1250,9 +1250,6 @@ errorbar | |
| .circle.stroked ⧲ | ||
| .circle.filled ⧳ | ||
|
|
||
| // Keyboard labels. | ||
| spacebar ␣ | ||
|
|
||
| gender { | ||
| female ♀\vs{text} | ||
| .double ⚢ | ||
|
|
@@ -1307,3 +1304,40 @@ control { | |
| del ␡ // DELete | ||
| nl  // New Line | ||
| } | ||
|
|
||
| // Characters commonly used as keyboards labels | ||
| keyboard { | ||
| home ↸ | ||
| end ⇲ | ||
| .alt ⭸ | ||
|
Comment on lines
+1311
to
+1312
Collaborator
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Why is the default for this one not the same as for
Contributor
Author
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. There are two symbols described as 'end' : U+2B78 (regrouped with U+2B76 representing home, which has been removed from this PR) and U+21F2 (regrouped with U+21F1 representing home, which has also been removed) while no symbol for 'end' is directly near the only symbol for home we kept (U+21B8).
Collaborator
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I think we should probably remove this one as well if we remove |
||
| tab ↹ | ||
| .alt ⭾ | ||
| .r ⇥ | ||
| .r.alt ⭲ | ||
| pageup ⇞ | ||
| .alt ⎗ | ||
| pagedown ⇟ | ||
| .alt ⎘ | ||
| shift ⇧ | ||
| capslock ⇪ | ||
| .pedestal ⇫ | ||
| scroll ⇳ | ||
|
Collaborator
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Is this a real keyboard key?
Contributor
Author
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. This symbol, framed within a rectangle, appears on this keyboard.
Collaborator
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Then, this would be more specifically for scroll lock. I think we should leave this symbol out for now, especially because the keyboard you linked uses a different version, and frames it in a rectangle-like shape as you noted. |
||
| space ␣ | ||
|
MDLC01 marked this conversation as resolved.
|
||
| erase | ||
| .r ⌦ | ||
|
MDLC01 marked this conversation as resolved.
|
||
| .l ⌫ | ||
| cmd ⌘ | ||
| option ⌥ | ||
| clear ⌧ | ||
|
MDLC01 marked this conversation as resolved.
|
||
| alt ⎇ | ||
|
MDLC01 marked this conversation as resolved.
|
||
| esc ⎋ | ||
| .alt ⮹ | ||
| decimalsep ⎖ | ||
|
Collaborator
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. What key is that?
Contributor
Author
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Adds a symbol representing a separator between the integer and fractional part of a number.
Collaborator
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Unless this is a widely recognized label, I would remove it. |
||
| printscreen ⎙ | ||
| return ⏎ | ||
| .alt ↵ | ||
| newline | ||
| .alt ↵ | ||
| .l ⮒ | ||
| .r ⮓ | ||
|
Comment on lines
+1339
to
+1342
Collaborator
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. 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. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. 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.
Collaborator
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I think we should have at most a single name. I am also in favor of Regarding the value, I would be in favor of having U+21B5 as the main value and U+23CE as the |
||
| } | ||
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.
Could you please deprecate the symbol instead of removing it? This can be done as follows: