… | |
… | |
1464 | #if defined(PLAIN_SCROLLBAR) |
1464 | #if defined(PLAIN_SCROLLBAR) |
1465 | // scrollbar-plain.C |
1465 | // scrollbar-plain.C |
1466 | int scrollbar_show_plain (int update, int last_top, int last_bot, int scrollbar_len); |
1466 | int scrollbar_show_plain (int update, int last_top, int last_bot, int scrollbar_len); |
1467 | #endif |
1467 | #endif |
1468 | |
1468 | |
1469 | // scrollbar.C |
|
|
1470 | void resize_scrollbar (); |
|
|
1471 | int scrollbar_mapping (int map); |
|
|
1472 | int scrollbar_show (int update); |
|
|
1473 | |
|
|
1474 | // xdefaults.C |
1469 | // xdefaults.C |
1475 | void get_options (int argc, const char *const *argv); |
1470 | void get_options (int argc, const char *const *argv); |
1476 | int parse_keysym (const char *str, const char *arg); |
1471 | int parse_keysym (const char *str, const char *arg); |
1477 | const char *x_resource (const char *name); |
1472 | const char *x_resource (const char *name); |
1478 | void extract_resources (); |
1473 | void extract_resources (); |