diff options
| author | Dave Davenport <qball@gmpclient.org> | 2015-10-21 09:20:07 +0200 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2015-10-21 09:20:07 +0200 |
| commit | bc7a89c64631ffb73fc20df31e9e2caa48121377 (patch) | |
| tree | f778a7d0e385636e0d41e8bef13a677ead17ad76 /source/xrmoptions.c | |
| parent | 0d7ab111f97a914044ba30006842b96766fb6cce (diff) | |
Print comment with each option.
Diffstat (limited to 'source/xrmoptions.c')
| -rw-r--r-- | source/xrmoptions.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/source/xrmoptions.c b/source/xrmoptions.c index 2e090215..17fc2045 100644 --- a/source/xrmoptions.c +++ b/source/xrmoptions.c @@ -336,6 +336,7 @@ void config_xresource_free ( void ) static void xresource_dump_entry ( const char *namePrefix, XrmOption *option ) { + printf ( "! %s\n", option->comment ); printf ( "%s.%s: %*s", namePrefix, option->name, (int) ( 30 - strlen ( option->name ) ), "" ); switch ( option->type ) |