1
0
Fork 0
mirror of synced 2024-05-20 04:23:44 +12:00

Added U+2325 Option Key , U+2387 Alternative Key Symbol #799

This commit is contained in:
Nikita Prokopov 2019-08-30 21:52:02 +07:00
parent 05c9a69183
commit 6292db9ae8
2 changed files with 82 additions and 8 deletions

View file

@ -31,7 +31,19 @@ All notable changes to this project will be documented in this file.
- Added U+2016 Double Vertical Line `‖` [#780]
- Tuned metrics (1870,-530 -> 1800,-600, upm 2000 -> 1950, hopefully fix [#552] [#798])
- Box characters to not overflow line height [#449]
- Added U+21DE Upwards arrow with double stroke (Page Up) `⇞` U+21DF Downwards arrow with double stroke (Page down) `⇟` U+21E4 Left Tab Arrow `⇤` U+21E5 Right Tab Arrow `⇥` U+2303 Up Arrowhead (Control) `⌃` U+2304 Down Arrowhead `⌄` U+2305 Projective `⌅` U+2306 Perspective `⌆` U+2324 Up Arrowhead between two horizontal bars `⌤` U+21A9 Leftwards arrow with hook (Return) `↩` [#799]
- Added few technical symbols [#799]:
- U+21A9 Leftwards arrow with hook (Return) `↩`
- U+21DE Upwards arrow with double stroke (Page Up) `⇞`
- U+21DF Downwards arrow with double stroke (Page down) `⇟`
- U+21E4 Left Tab Arrow `⇤`
- U+21E5 Right Tab Arrow `⇥`
- U+2303 Up Arrowhead (Control) `⌃`
- U+2304 Down Arrowhead `⌄`
- U+2305 Projective `⌅`
- U+2306 Perspective `⌆`
- U+2324 Up Arrowhead between two horizontal bars `⌤`
- U+2325 Option Key `⌥`
- U+2387 Alternative Key Symbol `⎇`
#### 1.207 (April 6, 2019)

View file

@ -1,7 +1,9 @@
{
.appVersion = "1131";
DisplayStrings = (
"y/rightTabArrow/pageup/pagedown/arrowdown oOx"
"y/rightTabArrow/pageup/pagedown/arrowdown Y/optionKey/alternativekeysymbol boOx",
"%",
""
);
classes = (
{
@ -92010,15 +92012,27 @@ unicode = 2406;
{
color = 6;
glyphname = alternativekeysymbol;
lastChange = "2019-08-15 12:35:24 +0000";
lastChange = "2019-08-30 14:49:03 +0000";
layers = (
{
components = (
{
name = optionKey;
transform = "{1, 0, 0, -1, 0, 1374}";
}
);
layerId = "B67F0F2D-EC95-4CB8-966E-23AE86958A69";
width = 600;
width = 1200;
},
{
components = (
{
name = optionKey;
transform = "{1, 0, 0, -1, 0, 1386}";
}
);
layerId = "4B7A3BAF-EAD8-4024-9BEA-BB1DE86CFCFA";
width = 600;
width = 1200;
}
);
unicode = 2387;
@ -96246,15 +96260,63 @@ unicode = 2328;
{
color = 6;
glyphname = optionKey;
lastChange = "2019-08-15 12:35:14 +0000";
lastChange = "2019-08-30 14:48:55 +0000";
layers = (
{
layerId = "B67F0F2D-EC95-4CB8-966E-23AE86958A69";
width = 600;
paths = (
{
closed = 1;
nodes = (
"59 1264 LINE",
"359 1264 LINE",
"760 0 LINE",
"1141 0 LINE",
"1141 110 LINE",
"840 110 LINE",
"439 1374 LINE",
"59 1374 LINE"
);
},
{
closed = 1;
nodes = (
"754 1264 LINE",
"1141 1264 LINE",
"1141 1374 LINE",
"754 1374 LINE"
);
}
);
width = 1200;
},
{
layerId = "4B7A3BAF-EAD8-4024-9BEA-BB1DE86CFCFA";
width = 600;
paths = (
{
closed = 1;
nodes = (
"59 1152 LINE",
"359 1152 LINE",
"660 0 LINE",
"1141 0 LINE",
"1141 234 LINE",
"840 234 LINE",
"539 1386 LINE",
"59 1386 LINE"
);
},
{
closed = 1;
nodes = (
"754 1142 LINE",
"1141 1142 LINE",
"1141 1386 LINE",
"754 1386 LINE"
);
}
);
width = 1200;
}
);
unicode = 2325;