Re:When a Space Is Not a Space
by wruza on Thursday June 17, 2021 @05:11AM
(#27537611)
html-based tools and/or source views failed
These do not have any control on how your text is copied, because your browser does that (it was the reason for an entire issue in the first place). Maybe they could convert A0 to but then you couldn’t copy that text into non-html environments easily. It is inevitable for </gt/amp;, but should they also convert e.g. dashes and other html-safe entities?
Re:When a Space Is Not a Space
by tempodox on Thursday June 17, 2021 @06:52AM
(#27538214)
Putting Non-breaking-space-as-Unicode into HTML source is just a bad idea, because you cannot see that it's the non-breaking variant. Using ` ` instead would have been much better, because it's explicit and visible.
These do not have any control on how your text is copied, because your browser does that (it was the reason for an entire issue in the first place). Maybe they could convert A0 to but then you couldn’t copy that text into non-html environments easily. It is inevitable for </gt/amp;, but should they also convert e.g. dashes and other html-safe entities?