Allow group specification in ArgInstall options
authorH.G.Muller <hgm@hgm-xboard.(none)>
Sun, 24 Apr 2016 12:00:50 +0000 (14:00 +0200)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Sun, 24 Apr 2016 12:00:50 +0000 (14:00 +0200)
commit3198051254614679f0bc78ca5f1bb406616f64ad
treee990aee9c6b5392136eea896c6a1a43e4637645e
parentfa81f9170982520d00d773733bfac265978f0494
Allow group specification in ArgInstall options

The option that add a line to the existing multi-line options
(e.g. -installTheme which adds to -themeNames) now can specify the
line should be added within a group, by prefixing the line with
"# GROUPNAME\n" (where \ and n separate characters). If a group of
that name already exists, the line to add  is insert immediately after
the group header line. If not, the group is created, by adding both the
group header line and the line to add, as well as an "# end" line to
terminate the group.
args.h