-
Notifications
You must be signed in to change notification settings - Fork 305
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.
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
Problem about the <- exclusion #403
Comments
- Made triple equal ligature === more spacious #25 - Added 70 symbols from #47 - Tuned # #275 - Added =: ligature #305 - Added floor and ceiling mathematical characters #328 - Corrections in Θ θ ξ Σ ∑ #351 - Added Cyrillic Kazakh letters #391 - Added ligature ;;; #393 - The ligature <- have 3 digit exclusion #403 - Fixed regression with <-- ligature #417 - Fixed interpolation error in Italic #431 - Corrected placement of * in */ ligature in Regular master - Tuned Ч ч - Rounded corners in ⚠
Added an exclusion up the 3 digits. @auduchinok I'm not getting the "identifeier" thing. What exact symbols can be used it that expression? |
@philippnurullin It mostly was about comments, i.e. some random texts that are ignored by programming languages and that could be, for instance, a description of the code nearby or a piece of code that is kind of removed by placing it into a comment (done by adding AFAIK IntelliJ applies ligatures to differently highlighted pieces of code, so a ligature should fit into a highlighted piece of code, and in the case of a comment the whole comment is usually highlighted as one big thing. What I was trying to say is there could be legitimate cases where The initial report is about using text in a comment, that's why I'm thinking about comments a lot here. If this wasn't in a comment, the text would likely be split in a way that |
<-1>
looks right, but<-12>
still looks wrong.The text was updated successfully, but these errors were encountered: