humza/sml-projects
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

move left and right angle brackets up by 1 pixel

Browse Source
This commit is contained in:
Humza Shahid
2025-08-18 03:14:47 +01:00
parent 2d43c69178
commit 7561573370
1 changed files with 71 additions and 69 deletions
Download Patch File Download Diff File Expand all files Collapse all files

140
fonts/left-angled-bracket.sml
View File

@@ -8,50 +8,25 @@ struct
fun lerp (xOffset: Real32.real, yOffset, scale, windowWidth, windowHeight, r, g, b) = fun lerp (xOffset: Real32.real, yOffset, scale, windowWidth, windowHeight, r, g, b) =
let let
val windowWidth = Real32.fromInt windowWidth
val halfWidth = windowWidth / 2.0 val halfWidth = windowWidth / 2.0
val windowHeight = Real32.fromInt windowHeight
val halfHeight = windowHeight / 2.0 val halfHeight = windowHeight / 2.0
in in
#[ #[
xToNdc (xOffset, 0.000000000000000, scale, halfWidth), xToNdc (xOffset, 0.000000000000000, scale, halfWidth),
yToNdc (yOffset, 7.000000000000000, scale, halfHeight), yToNdc (yOffset, 8.000000000000000, scale, halfHeight),
r, g, b, r, g, b,
xToNdc (xOffset, 1.000000000000000, scale, halfWidth), xToNdc (xOffset, 1.000000000000000, scale, halfWidth),
yToNdc (yOffset, 8.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 0.000000000000000, scale, halfWidth),
yToNdc (yOffset, 7.000000000000000, scale, halfHeight), yToNdc (yOffset, 7.000000000000000, scale, halfHeight),
r, g, b, r, g, b,
xToNdc (xOffset, 0.000000000000000, scale, halfWidth), xToNdc (xOffset, 0.000000000000000, scale, halfWidth),
yToNdc (yOffset, 6.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 0.000000000000000, scale, halfWidth),
yToNdc (yOffset, 6.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 1.000000000000000, scale, halfWidth),
yToNdc (yOffset, 7.000000000000000, scale, halfHeight), yToNdc (yOffset, 7.000000000000000, scale, halfHeight),
r, g, b, r, g, b,
xToNdc (xOffset, 1.000000000000000, scale, halfWidth), xToNdc (xOffset, 1.000000000000000, scale, halfWidth),
yToNdc (yOffset, 6.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 1.000000000000000, scale, halfWidth),
yToNdc (yOffset, 6.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 2.000000000000000, scale, halfWidth),
yToNdc (yOffset, 6.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 1.000000000000000, scale, halfWidth),
yToNdc (yOffset, 5.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 1.000000000000000, scale, halfWidth),
yToNdc (yOffset, 5.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 2.000000000000000, scale, halfWidth),
yToNdc (yOffset, 6.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 2.000000000000000, scale, halfWidth),
yToNdc (yOffset, 5.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 1.000000000000000, scale, halfWidth),
yToNdc (yOffset, 8.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 2.000000000000000, scale, halfWidth),
yToNdc (yOffset, 8.000000000000000, scale, halfHeight), yToNdc (yOffset, 8.000000000000000, scale, halfHeight),
r, g, b, r, g, b,
xToNdc (xOffset, 1.000000000000000, scale, halfWidth), xToNdc (xOffset, 1.000000000000000, scale, halfWidth),
@@ -61,82 +36,109 @@ xToNdc (xOffset, 1.000000000000000, scale, halfWidth),
yToNdc (yOffset, 7.000000000000000, scale, halfHeight), yToNdc (yOffset, 7.000000000000000, scale, halfHeight),
r, g, b, r, g, b,
xToNdc (xOffset, 2.000000000000000, scale, halfWidth), xToNdc (xOffset, 2.000000000000000, scale, halfWidth),
yToNdc (yOffset, 8.000000000000000, scale, halfHeight), yToNdc (yOffset, 7.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 1.000000000000000, scale, halfWidth),
yToNdc (yOffset, 6.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 1.000000000000000, scale, halfWidth),
yToNdc (yOffset, 6.000000000000000, scale, halfHeight),
r, g, b, r, g, b,
xToNdc (xOffset, 2.000000000000000, scale, halfWidth), xToNdc (xOffset, 2.000000000000000, scale, halfWidth),
yToNdc (yOffset, 7.000000000000000, scale, halfHeight), yToNdc (yOffset, 7.000000000000000, scale, halfHeight),
r, g, b, r, g, b,
xToNdc (xOffset, 2.000000000000000, scale, halfWidth), xToNdc (xOffset, 2.000000000000000, scale, halfWidth),
yToNdc (yOffset, 5.000000000000000, scale, halfHeight), yToNdc (yOffset, 6.000000000000000, scale, halfHeight),
r, g, b, r, g, b,
xToNdc (xOffset, 3.000000000000000, scale, halfWidth), xToNdc (xOffset, 1.000000000000000, scale, halfWidth),
yToNdc (yOffset, 5.000000000000000, scale, halfHeight), yToNdc (yOffset, 9.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 2.000000000000000, scale, halfWidth),
yToNdc (yOffset, 4.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 2.000000000000000, scale, halfWidth),
yToNdc (yOffset, 4.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 3.000000000000000, scale, halfWidth),
yToNdc (yOffset, 5.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 3.000000000000000, scale, halfWidth),
yToNdc (yOffset, 4.000000000000000, scale, halfHeight),
r, g, b, r, g, b,
xToNdc (xOffset, 2.000000000000000, scale, halfWidth), xToNdc (xOffset, 2.000000000000000, scale, halfWidth),
yToNdc (yOffset, 9.000000000000000, scale, halfHeight), yToNdc (yOffset, 9.000000000000000, scale, halfHeight),
r, g, b, r, g, b,
xToNdc (xOffset, 3.000000000000000, scale, halfWidth), xToNdc (xOffset, 1.000000000000000, scale, halfWidth),
yToNdc (yOffset, 8.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 1.000000000000000, scale, halfWidth),
yToNdc (yOffset, 8.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 2.000000000000000, scale, halfWidth),
yToNdc (yOffset, 9.000000000000000, scale, halfHeight), yToNdc (yOffset, 9.000000000000000, scale, halfHeight),
r, g, b, r, g, b,
xToNdc (xOffset, 2.000000000000000, scale, halfWidth), xToNdc (xOffset, 2.000000000000000, scale, halfWidth),
yToNdc (yOffset, 8.000000000000000, scale, halfHeight), yToNdc (yOffset, 8.000000000000000, scale, halfHeight),
r, g, b, r, g, b,
xToNdc (xOffset, 2.000000000000000, scale, halfWidth), xToNdc (xOffset, 2.000000000000000, scale, halfWidth),
yToNdc (yOffset, 8.000000000000000, scale, halfHeight), yToNdc (yOffset, 6.000000000000000, scale, halfHeight),
r, g, b, r, g, b,
xToNdc (xOffset, 3.000000000000000, scale, halfWidth), xToNdc (xOffset, 3.000000000000000, scale, halfWidth),
yToNdc (yOffset, 9.000000000000000, scale, halfHeight), yToNdc (yOffset, 6.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 2.000000000000000, scale, halfWidth),
yToNdc (yOffset, 5.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 2.000000000000000, scale, halfWidth),
yToNdc (yOffset, 5.000000000000000, scale, halfHeight),
r, g, b, r, g, b,
xToNdc (xOffset, 3.000000000000000, scale, halfWidth), xToNdc (xOffset, 3.000000000000000, scale, halfWidth),
yToNdc (yOffset, 8.000000000000000, scale, halfHeight), yToNdc (yOffset, 6.000000000000000, scale, halfHeight),
r, g, b, r, g, b,
xToNdc (xOffset, 3.000000000000000, scale, halfWidth), xToNdc (xOffset, 3.000000000000000, scale, halfWidth),
yToNdc (yOffset, 4.000000000000000, scale, halfHeight), yToNdc (yOffset, 5.000000000000000, scale, halfHeight),
r, g, b, r, g, b,
xToNdc (xOffset, 4.000000000000000, scale, halfWidth), xToNdc (xOffset, 2.000000000000000, scale, halfWidth),
yToNdc (yOffset, 4.000000000000000, scale, halfHeight), yToNdc (yOffset, 10.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 3.000000000000000, scale, halfWidth),
yToNdc (yOffset, 3.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 3.000000000000000, scale, halfWidth),
yToNdc (yOffset, 3.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 4.000000000000000, scale, halfWidth),
yToNdc (yOffset, 4.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 4.000000000000000, scale, halfWidth),
yToNdc (yOffset, 3.000000000000000, scale, halfHeight),
r, g, b, r, g, b,
xToNdc (xOffset, 3.000000000000000, scale, halfWidth), xToNdc (xOffset, 3.000000000000000, scale, halfWidth),
yToNdc (yOffset, 10.000000000000000, scale, halfHeight), yToNdc (yOffset, 10.000000000000000, scale, halfHeight),
r, g, b, r, g, b,
xToNdc (xOffset, 4.000000000000000, scale, halfWidth), xToNdc (xOffset, 2.000000000000000, scale, halfWidth),
yToNdc (yOffset, 9.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 2.000000000000000, scale, halfWidth),
yToNdc (yOffset, 9.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 3.000000000000000, scale, halfWidth),
yToNdc (yOffset, 10.000000000000000, scale, halfHeight), yToNdc (yOffset, 10.000000000000000, scale, halfHeight),
r, g, b, r, g, b,
xToNdc (xOffset, 3.000000000000000, scale, halfWidth), xToNdc (xOffset, 3.000000000000000, scale, halfWidth),
yToNdc (yOffset, 9.000000000000000, scale, halfHeight), yToNdc (yOffset, 9.000000000000000, scale, halfHeight),
r, g, b, r, g, b,
xToNdc (xOffset, 3.000000000000000, scale, halfWidth), xToNdc (xOffset, 3.000000000000000, scale, halfWidth),
yToNdc (yOffset, 9.000000000000000, scale, halfHeight), yToNdc (yOffset, 5.000000000000000, scale, halfHeight),
r, g, b, r, g, b,
xToNdc (xOffset, 4.000000000000000, scale, halfWidth), xToNdc (xOffset, 4.000000000000000, scale, halfWidth),
yToNdc (yOffset, 5.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 3.000000000000000, scale, halfWidth),
yToNdc (yOffset, 4.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 3.000000000000000, scale, halfWidth),
yToNdc (yOffset, 4.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 4.000000000000000, scale, halfWidth),
yToNdc (yOffset, 5.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 4.000000000000000, scale, halfWidth),
yToNdc (yOffset, 4.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 3.000000000000000, scale, halfWidth),
yToNdc (yOffset, 11.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 4.000000000000000, scale, halfWidth),
yToNdc (yOffset, 11.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 3.000000000000000, scale, halfWidth),
yToNdc (yOffset, 10.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 3.000000000000000, scale, halfWidth),
yToNdc (yOffset, 10.000000000000000, scale, halfHeight), yToNdc (yOffset, 10.000000000000000, scale, halfHeight),
r, g, b, r, g, b,
xToNdc (xOffset, 4.000000000000000, scale, halfWidth), xToNdc (xOffset, 4.000000000000000, scale, halfWidth),
yToNdc (yOffset, 9.000000000000000, scale, halfHeight), yToNdc (yOffset, 11.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 4.000000000000000, scale, halfWidth),
yToNdc (yOffset, 10.000000000000000, scale, halfHeight),
r, g, b r, g, b
] ]
end end