On Monday, 22 July 2013 at 22:35:20 UTC, H. S. Teoh wrote:
On Mon, Jul 22, 2013 at 11:48:10PM +0200, Brad Anderson wrote:
On Monday, 22 July 2013 at 20:49:09 UTC, H. S. Teoh wrote:
>On Mon, Jul 22, 2013 at 09:59:57PM +0200, Kagamin wrote:
>>Didn't see hypenation on the web before, looks alien to me.
>>From the
>>typesetting point of view I find manpages with a larger font
>>pleasure to read.
>>http://man7.org/linux/man-pages/man3/fclose.3.html They are
>>neither
>>justified nor hyphenated.
>
>Exactly. While justification/hyphenation are nice to have,
>they are
>really only peripheral benefits. We should not be paying such
>a big
>price for them. I really have a hard time understanding the
>rationale
>behind trying to make hyphenation work, when the time could
>be much
>better spent improving the D docs that newbies keep
>complaining
>about.
[...]
My recent changes to hyphenation were because Andrei vetoed my
attempt to remove hyphenation so I spent some time trying to
make it
as bearable as possible. Not much time has gone into it (and
I'm
not a great or qualified technical writer in any case).
I think the best approach at this point is to leave CSS
hyphenation
alone, and just remove/disable hyphenator.js. Removing *all*
hyphenation
seems be a bit too heavy-handed.
T
That's exactly what the current state of the pull request is.
