diff options
| author | Dave Davenport <qball@gmpclient.org> | 2020-01-02 12:00:44 +0100 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2020-01-02 12:00:44 +0100 |
| commit | b44b5e8d16b673e473cd9cb4f59618676aedea7a (patch) | |
| tree | a1bfb5984ccb1da83bccdc3336381c0fb16c13ec /include/xrmoptions.h | |
| parent | 7650ed5d7a8ea2d8b048691183f7f0ef5d8b2513 (diff) | |
Add -upgrade-config option.
* Print warning when old-style configuration is used.
* Add -upgrade-config option.
Diffstat (limited to 'include/xrmoptions.h')
| -rw-r--r-- | include/xrmoptions.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/include/xrmoptions.h b/include/xrmoptions.h index f18b8221..ed5c0141 100644 --- a/include/xrmoptions.h +++ b/include/xrmoptions.h @@ -167,10 +167,11 @@ char ** config_parser_return_display_help ( unsigned int *length ); gboolean config_parse_set_property ( const Property *p, char **error ); /** + * @param out The destination. * @param changes Only print the changed options. * * @brief Dump configuration in rasi format. */ -void config_parse_dump_config_rasi_format ( gboolean changes ); +void config_parse_dump_config_rasi_format ( FILE *out, gboolean changes ); /* @}*/ #endif |