Ticket #5040: Add a left padding to the help dialog

[egmontkob]

Also: Slightly increase the dialog's width to preserve the same wrapping on the opening page.

Proposed changes

• Resolves: Help window has no left padding #5040

Checklist

• I have referenced the issue(s) resolved by this PR (if any)
• I have signed-off my contribution with git commit --amend -s
• Lint and unit tests pass locally with my changes (make indent && make check)
• I have added tests that prove my fix is effective or that my feature works
• I have added the necessary documentation (if appropriate)

[egmontkob]

This corresponds to the second screenshot in the bug.

(I've had this PR lying around for a few weeks now... finally gotten to submit it :))

Let me know if you support removing the double spaces, I'd be happy to rework accordingly (and keep the original dialog width).

[egmontkob]

dd0dd00 – what a nice commit id :)

[zyv]

This corresponds to the second screenshot in the bug.

(I've had this PR lying around for a few weeks now... finally gotten to submit it :))

Let me know if you support removing the double spaces, I'd be happy to rework accordingly (and keep the original dialog width).

I would very much favor removing the double spaces! Unfortunately, they are used in a lot of places, and quite inconsistently at that :(

[egmontkob]

Went with removing double spaces; at least from the English bits of the help pages that aren't generated from the manuals, and also excluding some preformatted bits in the GPL text.

It's funny how, at the default terminal width of 80, the first 5-ish paragraphs of the GPL text were manually stretched using double spaces so that each line ends at the right margin. Except for the first line of the paragraphs which all align differently at the right edge. And it all completely falls apart if the window width is different from 80. Whoever did this gave up after about 5 paragraphs.

Reverted the widening of the help dialog, it's no longer needed.