GramEditor/gram
39
986
Fork
You've already forked gram
88

Fonts! #48

Closed
opened 2026年03月06日 15:07:48 +01:00 by fzzr · 2 comments
Contributor
Copy link

I'm suppose that you should or and cannot rename that proprietary(?) font (you know) to .GramMono. This question is requires licenses clarification of used fonts. I'm afraid that Zed Industries bought something. 🤷🏻‍♂️

I'm suppose that you should or and cannot rename that proprietary(?) [font (you know)](https://github.com/zed-industries/zed-fonts) to `.GramMono`. This question is requires licenses clarification of used fonts. I'm afraid that Zed Industries bought something. 🤷🏻‍♂️
Owner
Copy link

Yes, I have replaced the proprietary font with Fira Sans :)

Yes, I have replaced the proprietary font with Fira Sans :)
Owner
Copy link

and the monospace font is replaced with https://github.com/sayyadirfanali/Myna

and the monospace font is replaced with https://github.com/sayyadirfanali/Myna
Sign in to join this conversation.
No Branch/Tag specified
main
test/wgpu-on-mac
test-ci/failing-test-mac
test/failing-test-mac
test/build-on-22-04
test/wgpu-present-mode-mailbox
v2.1
test/altgr-fix-again
test/2.0.0-rc1
test/linux-build
test/objc2
v1.2.1
3.0.1
3.0.0
2.2.0
2.1.2
2.1.1
2.1.0
2.0.0
1.2.1
1.2.0
1.1.0
1.0.0
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
GramEditor/gram#48
Reference in a new issue
GramEditor/gram
No description provided.
Delete branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?