Allow help-clicks on Label Options with linefeeds
authorH.G.Muller <hgm@hgm-xboard.(none)>
Wed, 23 Mar 2016 19:25:40 +0000 (20:25 +0100)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Tue, 29 Mar 2016 14:51:34 +0000 (16:51 +0200)
commite5fcfee6ac8d8caa96337ae9c17562e7d5c03c11
tree76bbacb9b0e6139ff805a0a0aa467d519fc0d991
parent1161f02260cfbb6a22a6d9de91bb31e27f16cc88
Allow help-clicks on Label Options with linefeeds

Some of the LabelOptions in dialogs do have linefeeds. (In particular,
those in the Load Options dialog.) So we allow help clicks on them,
but add linefeed with the termination characters. Except that a leading
linefeed will be clipped off.
dialogs.c