Skip to content
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.

Sign up for GitHub

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

Jump to bottom

I found some bugs #184

Closed
yvvt0379 opened this issue Mar 20, 2020 · 3 comments
Closed

I found some bugs #184

yvvt0379 opened this issue Mar 20, 2020 · 3 comments

Comments

@yvvt0379
Copy link

yvvt0379 commented Mar 20, 2020 •
edited
Loading

Hello @JetBrains ,

Your Jetbrains Mono font really appeals to me and I have fallen in love with this font. However, symbols like <- , <== and <*> looks wrong. Could you fix them? Big Thanks!
批注 2020-03-20 211303
批注 2020-03-20 211332
@philippnurullin
Copy link
Member

The bug with <*> is duplicated #180. If its bothering you you can roll back to v1.0.3.

<- <== will be fixed in v1.0.5.

@yvvt0379
Copy link
Author

Please ignore <- and <== because they're already fixed in v1.0.4. However, I was using v1.0.3 when I opened this issue. 😄

@philippnurullin
Copy link
Member

Thanks for updating! Because the bug with <*> is duplicated i'm closing this issue.

@yvvt0379 yvvt0379 mentioned this issue Apr 8, 2020
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@philippnurullin @yvvt0379