diff options
author | Dave Davenport <qball@gmpclient.org> | 2016-01-07 13:32:33 +0100 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2016-01-07 13:32:33 +0100 |
commit | b59552003ed62c635fbcbf64d15662ecdc0c8c1a (patch) | |
tree | 23b08d3ca992f5036e5d7b30218da6582a533205 /source/xrmoptions.c | |
parent | 504e27f7019391f759311fb5b1896a3265998bae (diff) |
More doxygen sugar
Diffstat (limited to 'source/xrmoptions.c')
-rw-r--r-- | source/xrmoptions.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/source/xrmoptions.c b/source/xrmoptions.c index f09b61b9..c66be851 100644 --- a/source/xrmoptions.c +++ b/source/xrmoptions.c @@ -406,7 +406,7 @@ static void xresource_dump_entry ( const char *namePrefix, XrmOption *option ) printf ( "\n" ); } -void xresource_dump ( void ) +void config_parse_xresource_dump ( void ) { const char * namePrefix = "rofi"; unsigned int entries = sizeof ( xrmOptions ) / sizeof ( *xrmOptions ); @@ -543,7 +543,7 @@ void print_help_msg ( const char *option, const char *type, const char*text, con } } -void print_xresources_theme ( void ) +void config_parse_xresources_theme_dump ( void ) { if ( config.color_enabled != TRUE ) { printf ( "! Dumping theme only works for the extended color scheme.\n" ); |