Zulip Chat Archive

Stream: general

Topic: docs dots


view this post on Zulip Patrick Massot (Aug 29 2020 at 17:40):

It's really annoying that our documentation pages contain weird dots in names. It makes it very hard to copy paste stuff from there to VSCode.

view this post on Zulip Patrick Massot (Aug 29 2020 at 17:46):

More precisely, each dot is followed by a unicode character 'ZERO WIDTH SPACE' (U+200B)

view this post on Zulip Gabriel Ebner (Aug 29 2020 at 17:59):

I added them so that the browser can insert line breaks inside some overly long names. As far as I know, this is the only way to allow line breaks at specific points in a word. You're quite knowledgeable about CSS, if you know a better trick please tell me.
I'm also annoyed by the zero-width spaces. We could replace them by overflow-wrap: break-word, but then the line breaks would be at random points inside the name. :disappointed:

view this post on Zulip Reid Barton (Aug 29 2020 at 18:11):

What about wrapping each component in a separate span?

view this post on Zulip Gabriel Ebner (Aug 29 2020 at 18:26):

https://jsfiddle.net/c9q3o41f/ :-(

view this post on Zulip Reid Barton (Aug 29 2020 at 18:33):

https://jsfiddle.net/vqwpjL9c/9/ is better

view this post on Zulip Reid Barton (Aug 29 2020 at 18:33):

though I wish it wouldn't break on both sides of the .

view this post on Zulip Patrick Massot (Aug 29 2020 at 18:50):

This looks better than the invisible character trick.

view this post on Zulip Bryan Gin-ge Chen (Sep 15 2020 at 15:53):

It looks like this caused some issues in #4144. cc: @Eric Wieser

view this post on Zulip Eric Wieser (Sep 15 2020 at 15:58):

Oh man, I would not have spotted that. Thanks @Bryan Gin-ge Chen !


Last updated: May 13 2021 at 05:21 UTC