… | |
… | |
485 | # else |
485 | # else |
486 | rs[Rs_delete_key] = "\033[3~"; |
486 | rs[Rs_delete_key] = "\033[3~"; |
487 | # endif |
487 | # endif |
488 | #endif |
488 | #endif |
489 | |
489 | |
490 | setup_scrollbar (rs[Rs_scrollBar_align], rs[Rs_scrollstyle], rs[Rs_scrollBar_thickness]); |
490 | scrollBar.setup (this); |
491 | |
491 | |
492 | #ifdef XTERM_REVERSE_VIDEO |
492 | #ifdef XTERM_REVERSE_VIDEO |
493 | /* this is how xterm implements reverseVideo */ |
493 | /* this is how xterm implements reverseVideo */ |
494 | if (option (Opt_reverseVideo)) |
494 | if (option (Opt_reverseVideo)) |
495 | { |
495 | { |