@hm -- us :
>There's another instance of exactly the same problem that still needs fixing >too: 'font with a fixed pitch =/= festes Leerzeichen.'
100% agreed.
>I hadn't heard the term 'monospace(d)' and ....
Google hits:
"monospaced font" 46,400
"monospace font" 25,700
Seems enough reasons to keep these entries.
----------The other issue---------
"hard space" 5,240 (only about 30%-50% relevant)
But:
http://www.computeruser.com/resources/diction...:
"Definition for: hard space. A space character that is treated by the machine like a letter, used when the typesetter does not want a line break in the middle of a phrase, multiple-word proper name, or series of ellipses.Also called a fixed space."
"protected space" 9,640 (only a small fraction relevant)
But:
http://www.sad.it/~jug/lyx/lyxdoc/Reference/n..."Purpose: Insert an interword space at which a line break will not be allowed"
Die Zahlen für non-breaking/nonbreaking space sind natürlich überzeugend. Andererseits sind sie künstlich überhöht, weil das Web sich besonders gerne mit sich selbst beschäftigt. Der Begriff kommt sehr gehäuft in HTML-Dokumentationen vor. (In html wird deses geschützte Leerzeichen als "non-breaking space" bezeichnet und im Code duch die Zeichenfolge " " dargestellt)
Sucht man nach "non-breaking space" *ohne* den Kontext "html" und "nbsp", schrumpft die Trefferzahl von 20000 auf 2700.
Deshalb denke ich, daß "hard space" und "protected space" durchaus aufgenommen werden können. (natuerlich zusätzlich zum "non-breaking space")