Zulip Chat Archive

Stream: general

Topic: docs dots

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.

Patrick Massot (Aug 29 2020 at 17:46):

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

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:

Reid Barton (Aug 29 2020 at 18:11):

What about wrapping each component in a separate span?

Gabriel Ebner (Aug 29 2020 at 18:26):

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

Reid Barton (Aug 29 2020 at 18:33):

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

Reid Barton (Aug 29 2020 at 18:33):

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

Patrick Massot (Aug 29 2020 at 18:50):

This looks better than the invisible character trick.

Bryan Gin-ge Chen (Sep 15 2020 at 15:53):

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

Eric Wieser (Sep 15 2020 at 15:58):

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

Last updated: Dec 20 2023 at 11:08 UTC