… | |
… | |
517 | set_hookname (FOCUS_IN); |
517 | set_hookname (FOCUS_IN); |
518 | set_hookname (FOCUS_OUT); |
518 | set_hookname (FOCUS_OUT); |
519 | set_hookname (VIEW_CHANGE); |
519 | set_hookname (VIEW_CHANGE); |
520 | set_hookname (SCROLL_BACK); |
520 | set_hookname (SCROLL_BACK); |
521 | set_hookname (TTY_ACTIVITY); |
521 | set_hookname (TTY_ACTIVITY); |
|
|
522 | set_hookname (OSC_SEQ); |
522 | set_hookname (REFRESH_BEGIN); |
523 | set_hookname (REFRESH_BEGIN); |
523 | set_hookname (REFRESH_END); |
524 | set_hookname (REFRESH_END); |
524 | set_hookname (KEYBOARD_COMMAND); |
525 | set_hookname (KEYBOARD_COMMAND); |
525 | |
526 | |
526 | export_const (DEFAULT_RSTYLE); |
527 | export_const (DEFAULT_RSTYLE); |