1.1 --- a/src/display.c	Sun Jun 01 00:47:45 2008 +0000
     1.2 +++ b/src/display.c	Wed Jun 25 10:40:45 2008 +0000
     1.3 @@ -415,6 +415,16 @@
     1.4      return display_driver->convert_to_dckeysym(keycode);
     1.5  }
     1.6  
     1.7 +void print_display_drivers( FILE *out )
     1.8 +{
     1.9 +    int i;
    1.10 +    fprintf( out, "Available video drivers:\n" );
    1.11 +    for( i=0; display_driver_list[i] != NULL; i++ ) {
    1.12 +        fprintf( out, "  %-8s %s\n", display_driver_list[i]->name,
    1.13 +                 gettext(display_driver_list[i]->description) );
    1.14 +    }
    1.15 +}
    1.16 +
    1.17  display_driver_t get_display_driver_by_name( const char *name )
    1.18  {
    1.19      int i;