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, 8 May 2016 12:06:33 +0000 (14:06 +0200)
commitef1f358174b72b25b801eb18e95754a1b8065165
tree67304962195ca0896ce44d98e4a18ae98b0542b9
parentf24d18079fc6b1a9123491bed6b5c3ed82e5b8bd
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