… | |
… | |
398 | { |
398 | { |
399 | // TODO: somehow check wether the database files/resources changed |
399 | // TODO: somehow check wether the database files/resources changed |
400 | // before affording re-loading/parsing |
400 | // before affording re-loading/parsing |
401 | XrmDestroyDatabase (XrmGetDatabase (display)); |
401 | XrmDestroyDatabase (XrmGetDatabase (display)); |
402 | XrmSetDatabase (display, get_resources ()); |
402 | XrmSetDatabase (display, get_resources ()); |
403 | printf ("next\n");//D |
|
|
404 | } |
403 | } |
405 | |
404 | |
406 | rxvt_display::~rxvt_display () |
405 | rxvt_display::~rxvt_display () |
407 | { |
406 | { |
408 | if (!display) |
407 | if (!display) |