Replace 'cross' glyph (✝️) with 'dagger' (†)
Nobody has claimed this yet.
Assessment
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Newbie friendliness
- 66/100
Research direction
The payload names no file, so start by searching the repository for the ✝ (U+271D) character to find where the inaccessible-name marker is emitted in the infoview. Confirm with the maintainer that † is the wanted replacement, since the reporter asked whether it is valid and no decision is recorded. Done means the marker renders as † in the infoview and any test that checks that output is updated.
Written by the indexing model from the issue text.
Description
Hey, really loving this plugin!
Just a problem with the infoview, being that the 'dagger' symbol used to highlight inaccessible or shadowed names seems to be the emoji 'cross' symbol (✝️) which depending on the font can spill into the next character cell, making things quite illegible at times! (pinned screenshot from my own toy reimplementation of the list theorems)
I wish it were replaced with the dagger glyph †, which seems to be the one output by the unicode conversion for \dagger. Would this be a valid change?
- Dominant language
- Lua
- Stars
- 610
- Forks
- 63
- Avg merge
- 1d 8h
- Merged PRs (30d)
- 8
Getting set up
- No Dockerfile or Docker Compose file
- No pull request template
- Read the contributing guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from Julian/lean.nvim
-
Difficulty 2/5 1-3 hours Newbie friendliness 70/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 88/100
-
Difficulty 3/5 1-2 days Newbie friendliness 56/100
-
Difficulty 4/5 3-5 days Newbie friendliness 48/100
-
Difficulty 3/5 1-2 days Newbie friendliness 58/100
All issues in Julian/lean.nvim
Similar issues
-
Wrong step: Ashenvale, Wetlands & Stonetalon Mountains, step 49Possibly taken @b7216309-jpg claimed this today. Openguide has-pr
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
fitzforge/polestar#699 · 2 comments ·
Maintainers usually reply within 1 day
-
Difficulty 2/5 1-3 hours Newbie friendliness 77/100
-
Difficulty 1/5 Under an hour Newbie friendliness 92/100
LuaLS/lua-language-server#3484 ·
-
bug
Difficulty 2/5 1-3 hours Newbie friendliness 86/100
lewis6991/gitsigns.nvim#1593 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 70/100
latex3/pdf_structure#28 · 4 comments ·