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

move equals sign up by 1 pixel, for better alignment with the other characters

Browse Source
This commit is contained in:
Humza Shahid
2025-09-01 23:05:39 +01:00
parent daf79e8291
commit 8f164faabe
1 changed files with 50 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

76
fonts/equals.sml
View File

@@ -6,48 +6,72 @@ struct
fun yToNdc (yOffset, ypos, scale, halfHeight) = fun yToNdc (yOffset, ypos, scale, halfHeight) =
~(((ypos * scale + yOffset) - halfHeight) / halfHeight) ~(((ypos * scale + yOffset) - halfHeight) / halfHeight)
fun lerp (xOffset: Real32.real, yOffset, scale, windowWidth, windowHeight, r, g, b) = fun lerp (xOffset: Real32.real, yOffset, scale, windowWidth, windowHeight) =
let let
val halfWidth = windowWidth / 2.0 val halfWidth = windowWidth / 2.0
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),
r, g, b,
xToNdc (xOffset, 5.000000000000000, scale, halfWidth),
yToNdc (yOffset, 7.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 0.000000000000000, scale, halfWidth),
yToNdc (yOffset, 6.000000000000000, scale, halfHeight), yToNdc (yOffset, 6.000000000000000, scale, halfHeight),
r, g, b, 0.000000000000000,
xToNdc (xOffset, 0.000000000000000, scale, halfWidth), 0.000000000000000,
yToNdc (yOffset, 6.000000000000000, scale, halfHeight), 0.000000000000000,
r, g, b,
xToNdc (xOffset, 5.000000000000000, scale, halfWidth),
yToNdc (yOffset, 7.000000000000000, scale, halfHeight),
r, g, b,
xToNdc (xOffset, 5.000000000000000, scale, halfWidth), xToNdc (xOffset, 5.000000000000000, scale, halfWidth),
yToNdc (yOffset, 6.000000000000000, scale, halfHeight), yToNdc (yOffset, 6.000000000000000, scale, halfHeight),
r, g, b, 0.000000000000000,
0.000000000000000,
0.000000000000000,
xToNdc (xOffset, 0.000000000000000, scale, halfWidth), xToNdc (xOffset, 0.000000000000000, scale, halfWidth),
yToNdc (yOffset, 9.000000000000000, scale, halfHeight), yToNdc (yOffset, 5.000000000000000, scale, halfHeight),
r, g, b, 0.000000000000000,
0.000000000000000,
0.000000000000000,
xToNdc (xOffset, 0.000000000000000, scale, halfWidth),
yToNdc (yOffset, 5.000000000000000, scale, halfHeight),
0.000000000000000,
0.000000000000000,
0.000000000000000,
xToNdc (xOffset, 5.000000000000000, scale, halfWidth), xToNdc (xOffset, 5.000000000000000, scale, halfWidth),
yToNdc (yOffset, 9.000000000000000, scale, halfHeight), yToNdc (yOffset, 6.000000000000000, scale, halfHeight),
r, g, b, 0.000000000000000,
0.000000000000000,
0.000000000000000,
xToNdc (xOffset, 5.000000000000000, scale, halfWidth),
yToNdc (yOffset, 5.000000000000000, scale, halfHeight),
0.000000000000000,
0.000000000000000,
0.000000000000000,
xToNdc (xOffset, 0.000000000000000, scale, halfWidth), xToNdc (xOffset, 0.000000000000000, scale, halfWidth),
yToNdc (yOffset, 8.000000000000000, scale, halfHeight), yToNdc (yOffset, 8.000000000000000, scale, halfHeight),
r, g, b, 0.000000000000000,
0.000000000000000,
0.000000000000000,
xToNdc (xOffset, 5.000000000000000, scale, halfWidth),
yToNdc (yOffset, 8.000000000000000, scale, halfHeight),
0.000000000000000,
0.000000000000000,
0.000000000000000,
xToNdc (xOffset, 0.000000000000000, scale, halfWidth), xToNdc (xOffset, 0.000000000000000, scale, halfWidth),
yToNdc (yOffset, 8.000000000000000, scale, halfHeight), yToNdc (yOffset, 7.000000000000000, scale, halfHeight),
r, g, b, 0.000000000000000,
xToNdc (xOffset, 5.000000000000000, scale, halfWidth), 0.000000000000000,
yToNdc (yOffset, 9.000000000000000, scale, halfHeight), 0.000000000000000,
r, g, b, xToNdc (xOffset, 0.000000000000000, scale, halfWidth),
yToNdc (yOffset, 7.000000000000000, scale, halfHeight),
0.000000000000000,
0.000000000000000,
0.000000000000000,
xToNdc (xOffset, 5.000000000000000, scale, halfWidth), xToNdc (xOffset, 5.000000000000000, scale, halfWidth),
yToNdc (yOffset, 8.000000000000000, scale, halfHeight), yToNdc (yOffset, 8.000000000000000, scale, halfHeight),
r, g, b 0.000000000000000,
0.000000000000000,
0.000000000000000,
xToNdc (xOffset, 5.000000000000000, scale, halfWidth),
yToNdc (yOffset, 7.000000000000000, scale, halfHeight),
0.000000000000000,
0.000000000000000,
0.000000000000000
] ]
end end
end end