Playground font is non-fixed-width for some unicode characters
Nobody has claimed this yet.
Assessment
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Newbie friendliness
- 45/100
Research direction
Start by reproducing the reported Rust snippet in the Playground, checking both the code view and output in Firefox. Compare the vertical-bar alignment and cursor position with the expected fixed-width rendering; done means Unicode characters align consistently and cursor insertion matches the indicated position.
Written by the indexing model from the issue text.
Description
I am putting the following code into playground:
fn main() {
println!("0x00 │ ╾─────alloc777+0──────╼ 2a 00 00 00 00 00 00 00 │ ╾──────╼*.......");
println!("0x10 │ 2a 00 00 00 00 00 00 00 │ *.......");
}
Both for the code view and the resulting output, the vertical bars on the right are not properly aligned, even though we can see here in GitHub that in a fixed-width font, they should be aligned.
Also, the cursor (at least in Firefox) behaves really weird in that first line; the indicated position and the position where characters are inserted do not agree...
- Dominant language
- Rust
- Stars
- 1.4k
- Forks
- 267
- Avg merge
- 3h 2m
- Merged PRs (30d)
- 6
Contributor guide
No contributing guide indexed for this repository
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 rust-lang/rust-playground
-
Difficulty 5/5 Over a week Newbie friendliness 25/100
rust-lang/rust-playground#1237 ·
-
Difficulty 4/5 3-5 days Newbie friendliness 58/100
rust-lang/rust-playground#1234 ·
-
wontfix
Difficulty 3/5 1-2 days Newbie friendliness 55/100
rust-lang/rust-playground#1220 ·
-
Difficulty 3/5 1-2 days Newbie friendliness 55/100
rust-lang/rust-playground#1219 · 3 comments ·
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
rust-lang/rust-playground#1180 · 7 comments ·
All issues in rust-lang/rust-playground
Similar issues
-
Difficulty 2/5 1-3 hours Newbie friendliness 86/100
kwakseongjae/auto-hwp#319 ·
-
area:cli bug filter-quality good first issue priority:medium
Difficulty 2/5 1-3 hours Newbie friendliness 84/100
-
Difficulty 1/5 Under an hour Newbie friendliness 72/100
bevyengine/bevy#25861 ·
-
comp-datalake
Difficulty 2/5 1-3 hours Newbie friendliness 88/100
ClickHouse/ClickHouse#121222 ·
-
enhancement remote
Difficulty 2/5 1-3 hours Newbie friendliness 68/100